diff options
| author | Robert Norton | 2018-03-15 13:27:07 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-15 13:27:07 +0000 |
| commit | 860034499374a4791371c3a2176497f45b2621a0 (patch) | |
| tree | 62ac86717ab42023ebab7ffe9bb8576ddd344922 /src/gen_lib | |
| parent | 3896c50644568214c06014eb54d27f86f3d446f3 (diff) | |
add test that cheri specs build (ocaml).
Diffstat (limited to 'src/gen_lib')
0 files changed, 0 insertions, 0 deletions