diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 12:18:53 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 12:18:53 +0100 |
| commit | 4d0cc4318d6f46d9575ff7ebb1b74d8d8632ebb1 (patch) | |
| tree | 50afb7e63de6949bd62201fe385e18c98dc9cb06 /test | |
| parent | 56240b6f831e3aeca751c718dace1fd42724749d (diff) | |
| download | compcert-kvx-4d0cc4318d6f46d9575ff7ebb1b74d8d8632ebb1.tar.gz compcert-kvx-4d0cc4318d6f46d9575ff7ebb1b74d8d8632ebb1.zip | |
Using Ocaml type instead of string to identify resources
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions