diff options
| author | Alasdair Armstrong | 2018-01-16 15:34:03 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-16 18:05:13 +0000 |
| commit | ad78d4657ddf704633068872530ed2134a09406f (patch) | |
| tree | 891f8bedd29488047dde668d23fcd051dc2e278d /test/arm/test_O1.elf | |
| parent | acb6db5a8d14e83e6d86d2ad2bf285ea931b518f (diff) | |
Created version of typecheck test suite for sail2 branch
Currently doesn't try to compile to lem or use the MIPS spec
All the failing tests have been removed because I intend to handle
them differently - they were very fragile before because there was no
indication of why they failed, so as sail evolved they tended to start
failing for the wrong reasons and not testing what they were supposed
to.
Diffstat (limited to 'test/arm/test_O1.elf')
0 files changed, 0 insertions, 0 deletions