Set CFLAGS and OPTFLAGS in svcomp script (#560)

Signed-off-by: Hernan Ponce de Leon <[email protected]> Co-authored-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 9, 2023 · 71b8638 · 71b8638
1 parent 4667f54
commit 71b8638
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Dartagnan-SVCOMP.sh b/Dartagnan-SVCOMP.sh
@@ -22,6 +22,8 @@ else
 
     export DAT3M_HOME=$(pwd)
     export DAT3M_OUTPUT=$DAT3M_HOME/output
+    export CFLAGS="-fgnu89-inline"
+    export OPTFLAGS="-mem2reg -sroa -early-cse -indvars -loop-unroll -fix-irreducible -loop-simplify -simplifycfg -gvn"
 
     cmd="java -jar svcomp/target/svcomp.jar --method=assume --program.processing.constantPropagation=false --encoding.integers=true --svcomp.step=5 --svcomp.umax=27 cat/svcomp.cat --svcomp.property="$propertypath" "$programpath" "$witness
     $cmd