use gnu parallel for tests

goblint · Apr 12, 2016 · 23763c2 · 23763c2
1 parent 717ea45
commit 23763c2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/parallel.sh b/parallel.sh
@@ -0,0 +1,7 @@
+d=${1-"single-thread"}
+mkdir -p out/$d
+ulimit -Ss 49152 # 48MB
+opt="--enable dbg.verbose --enable dbg.debug --set ana.activated \"['base']\" --enable exp.earlyglobs --enable exp.full-context --enable ana.int.interval --enable ana.int.enums --disable ana.int.trier --sets comparesolver slr3tb --sets solver {1}"
+cmd="(date && echo \"Options: $opt\n\" && gtime -v ./goblint $opt --enable keepcpp {2} 2>&1) | tee out/{2}.{1}.log"
+# parallel --noswap --memfree 2G --load 100% --eta --joblog out/jobs.log --tmux --dryrun $cmd ::: single-thread/*.c
+parallel --noswap --load 100% --eta --joblog out/jobs.log $cmd ::: slr3t slr3tp ::: $d/*.c