diff options
| author | Alasdair Armstrong | 2019-07-31 15:29:08 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-31 15:29:08 +0100 |
| commit | 0f989c147c087e37e971cfdc988d138cbfbf104b (patch) | |
| tree | f4488457a44c9453ed04469820d5f87c8945e593 /src/gen_lib/0.11/sail2_instr_kinds.lem | |
| parent | 7612369a3ca20a97257b6fa29b28e1b4939641dc (diff) | |
Remove redundant ifdef and run SMT tests by default
Diffstat (limited to 'src/gen_lib/0.11/sail2_instr_kinds.lem')
0 files changed, 0 insertions, 0 deletions