diff options
| author | Brian Campbell | 2018-02-21 17:21:36 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-21 17:24:19 +0000 |
| commit | b044735b61daa98004b73bec930b24f5ed574c27 (patch) | |
| tree | 5592995c7ea916e57a04c6cf152b58ca96c0da74 /src/test/run_tests.ml | |
| parent | f3eef8c8587039570d08ce6dfb8a6163adfb3490 (diff) | |
Add more bitvector sizes for aarch64
Diffstat (limited to 'src/test/run_tests.ml')
0 files changed, 0 insertions, 0 deletions