kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2025-12-15 23:18:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix reduce criteria

Browse Source
This commit is contained in:
Minseong Jang
2022-03-20 15:02:28 +09:00
parent 27f228a853
commit bce209c613
1 changed files with 15 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
tests/reduce-criteria-template.sh
View File

@@ -5,6 +5,13 @@ rm -f out*.txt
#ulimit -t 3000 #ulimit -t 3000
#ulimit -v 2000000 #ulimit -v 2000000
if
(! gcc test_reduced.c > cc_out.txt 2>&1 ||\
! $KECC_BIN --parse test_reduced.c >/dev/null 2>&1)
then
exit 1
fi
if if
[ $FUZZ_ARG = '-i' ] &&\ [ $FUZZ_ARG = '-i' ] &&\
(! clang -pedantic -Wall -Werror=strict-prototypes -O1 -c test_reduced.c > out.txt 2>&1 ||\ (! clang -pedantic -Wall -Werror=strict-prototypes -O1 -c test_reduced.c > out.txt 2>&1 ||\
@@ -47,12 +54,15 @@ if
grep 'pointer from integer' outa.txt ||\ grep 'pointer from integer' outa.txt ||\
grep 'incompatible implicit' outa.txt ||\ grep 'incompatible implicit' outa.txt ||\
grep 'excess elements in struct initializer' outa.txt ||\ grep 'excess elements in struct initializer' outa.txt ||\
grep 'comparison between pointer and integer' outa.txt ||\ grep 'comparison between pointer and integer' outa.txt)
! gcc -O1 test_reduced.c > cc_out1.txt 2>&1 ||\
! gcc -O2 test_reduced.c > cc_out2.txt 2>&1 ||\
! $KECC_BIN --parse test_reduced.c >/dev/null 2>&1)
then then
exit 1 exit 1
fi fi
$FUZZ_BIN $FUZZ_ARG test_reduced.c 2>&1 | grep -q 'assertion failed' $FUZZ_BIN $FUZZ_ARG test_reduced.c
if [ "$?" = 101 ]
then
exit 0
else
exit 1
fi