From 1fecffad387e45758aea01cdfb743118665be6fc Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Wed, 11 Mar 2020 10:51:45 +0100 Subject: [PATCH] Optimize fuzzing script --- fuzz.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fuzz.sh b/fuzz.sh index 590276f..7230a98 100755 --- a/fuzz.sh +++ b/fuzz.sh @@ -3,7 +3,7 @@ while true; do radamsa -o /tmp/input$$-%n -n 100 ~/Documents/KIT/2019/Prog/final2/*input.txt for filename in /tmp/input$$-*; do echo "exit" >> $filename - java -cp out/production/final2/ edu.kit.informatik.Main < $filename + java -cp out/production/final2/ -Xshare:on edu.kit.informatik.Main < $filename if [ $? -eq 0 ]; then echo OK else