diff options
| author | Brian Campbell | 2019-04-16 17:29:13 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-16 17:47:36 +0100 |
| commit | 0eadefbfecb80cc4ada16a4a7328ba63b32b166a (patch) | |
| tree | a8d4a8b741b4751c5ed0bbf6159ccc99a7fa776f /src/process_file.ml | |
| parent | e7724d97ab99b86ff4a5595fb910e7c3205555af (diff) | |
Code for testing builtins with Coq
Disabled by default because it's fairly resource heavy.
Currently two failures: a minor bug affecting divmod.sail, and undefined
values aren't set up for set_slice_bits.sail.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions