diff options
| author | Robert Norton | 2018-01-25 18:24:15 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-01-25 18:25:06 +0000 |
| commit | 37a42139356082c9182ad015151615503af76a00 (patch) | |
| tree | a06b29121bb588764196f2afc3dffbfb6ebf7718 /test/ocaml/string_equality/string_equality.sail | |
| parent | 2ee59d0eee7508ebe4e84b4cf2468d8631b2c418 (diff) | |
Extend RISCV main loop with support for tohost interface used by test suite for terminating the test.
Diffstat (limited to 'test/ocaml/string_equality/string_equality.sail')
0 files changed, 0 insertions, 0 deletions