diff options
| author | Robert Norton | 2018-03-02 12:54:43 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-02 13:44:11 +0000 |
| commit | 981f17bd983f152fd25dca6b834c0bccfc60469f (patch) | |
| tree | ef3eccd1c536f22be595ac40286b62ab20e5170c /language/l2_parse.ml | |
| parent | b7f806b7c5df7b2809d9a9d014b0a4611e9bdcf7 (diff) | |
cheri tests expect reserved permission bits to be initialised to one.
Diffstat (limited to 'language/l2_parse.ml')
0 files changed, 0 insertions, 0 deletions