Andrius Štikonas 823be93875 Enable riscv32 tests.		2021-12-03 21:33:55 +00:00
..
basic_args.c	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
hello-knight-posix.sh	Add riscv32 port.	2021-12-02 22:41:27 +00:00
proof-aarch64.answer	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
proof-amd64.answer	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
proof-armv7l.answer	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
proof-knight-posix.answer	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
proof-riscv64.answer	Add tests for riscv64.	2021-10-02 13:13:15 +01:00
proof-x86.answer	Major relocation of tests to better structure for future additions	2020-02-28 18:27:12 -05:00
run_test.sh	Enable riscv32 tests.	2021-12-03 21:33:55 +00:00