55db771e29
We were checking an empty proof because the test writes to stderr and we were redirecting stdout to the file. With the correct redirection the hash is different, so proof.answer is also adjusted. The x86 test was calling blood-elf with the 64bits flag. Removed to ask for 32bits behaviour. For consistency, --BaseAddress is now using the usual value for the arch. Also, unused input file is removed here. |
||
---|---|---|
.. | ||
array.c | ||
hello-aarch64.sh | ||
hello-amd64.sh | ||
hello-armv7l.sh | ||
hello-x86.sh | ||
proof.answer |