diff options
| author | Alasdair Armstrong | 2019-06-04 17:36:22 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-04 17:36:22 +0100 |
| commit | 37c5fb51e9986917a791de73435e182549e21fca (patch) | |
| tree | f6bd9bd26d80e51cf197b9ea8a5c9d5c3c61ec8b /src/lem_interp/run_interp_model.ml | |
| parent | 239e13dc149af80f979ea95a3c9b42220481a0a1 (diff) | |
Make sure aarch64_small can generate Jib for SMT
Add a test case for this
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
0 files changed, 0 insertions, 0 deletions