diff options
Diffstat (limited to 'test/monniaux/csmith')
-rwxr-xr-x | test/monniaux/csmith/reduce/reduce_wrt_host.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/csmith/reduce/reduce_wrt_host.sh b/test/monniaux/csmith/reduce/reduce_wrt_host.sh index ac8433da..7a11596f 100755 --- a/test/monniaux/csmith/reduce/reduce_wrt_host.sh +++ b/test/monniaux/csmith/reduce/reduce_wrt_host.sh @@ -4,7 +4,7 @@ if /usr/bin/clang $INCLUDE -O -Werror=int-conversion -Werror=format -Werror=stri then if gcc $INCLUDE -Werror=int-conversion -Werror=format -Werror=strict-prototypes -Werror=uninitialized -Werror=implicit -Werror=return-type -fsanitize=undefined -fsanitize=address source.c -o source.gcc+san.host && ./source.gcc+san.host > source.gcc+san.host.out ; then - if grep "runtime error" source.gcc+san.out + if grep "runtime error" source.gcc+san.host.out then exit 66 fi |