Merge pull request #41 from peterschrammel/shadow-svcomp-verifier

peterschrammel · web-flow · commit 8a21b6f0a8b9 · 2018-11-18T11:11:56.000Z
Shadow SVCOMP's Verifier implementation by our own one
diff --git a/jbmc.inc b/jbmc.inc
@@ -10,6 +10,7 @@ run()
 {
   mkdir -p $BM_DIR/classes
   javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"
+  rm $BM_DIR/classes/org/sosy_lab/sv_benchmarks/Verifier.class
   jar -cfe $BM_DIR/task.jar Main -C $BM_DIR/classes .
   export TASK="$BM_DIR/task.jar"
 

Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,7 @@ run()`
`10`	`10`	`{`
`11`	`11`	`mkdir -p $BM_DIR/classes`
`12`	`12`	`javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"`
	`13`	`+ rm $BM_DIR/classes/org/sosy_lab/sv_benchmarks/Verifier.class`
`13`	`14`	`jar -cfe $BM_DIR/task.jar Main -C $BM_DIR/classes .`
`14`	`15`	`export TASK="$BM_DIR/task.jar"`
`15`	`16`