HeCBench
HeCBench copied to clipboard
Exit with error code 1 when verification fails
Make a lot of benchmarks to exit with error code 1 when the verification fails and make autohecbench.py skip result recording for the failing benchmarks.
(This commit is extended version of the commit started by @franz.)