diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-22 18:36:18 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-22 18:36:18 +0200 |
| commit | bb16cc1bfd759d7e23f9a515558c8c70676b48e3 (patch) | |
| tree | 5bc5bb2557a1bd7194e0321a1047ba04d32b30c1 /test | |
| parent | 68e0385e72e960af9ce839a0b76e4279732ef3b6 (diff) | |
| download | compcert-kvx-bb16cc1bfd759d7e23f9a515558c8c70676b48e3.tar.gz compcert-kvx-bb16cc1bfd759d7e23f9a515558c8c70676b48e3.zip | |
csmith disabled on riscv64
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions