diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-21 23:09:22 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-21 23:09:22 +0200 |
commit | b62d224c49491dfb77a187303c42347bdebd2090 (patch) | |
tree | 7f975a689f7657629c5495c954f4958c5267c192 /test | |
parent | 7fdaf4fc63eb8f6aa70d440c50bcf23782d2cf46 (diff) | |
download | compcert-kvx-b62d224c49491dfb77a187303c42347bdebd2090.tar.gz compcert-kvx-b62d224c49491dfb77a187303c42347bdebd2090.zip |
fix typo
Diffstat (limited to 'test')
-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 |