Add creduce script for both branches dead

goblint · Oct 1, 2024 · dfaf8a9 · dfaf8a9
1 parent 060004c
commit dfaf8a9
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/scripts/creduce/branches.sh b/scripts/creduce/branches.sh
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+set -e
+
+gcc -c -Werror=implicit-function-declaration ./bad.c
+
+GOBLINTDIR="/home/simmo/dev/goblint/sv-comp/goblint"
+OPTS="--conf $GOBLINTDIR/conf/svcomp.json --set ana.specification $GOBLINTDIR/../sv-benchmarks/c/properties/unreach-call.prp bad.c --enable pre.enabled"
+LOG="goblint.log"
+
+$GOBLINTDIR/goblint $OPTS -v &> $LOG
+
+grep -F "Both branches dead" $LOG