Further adjustments to Makefiles for proof stability.

Signed-off-by: Rod Chapman <[email protected]>

Author: rod-chapman

proofs/cbmc/pack_pk/Makefile

@@ -25,7 +25,7 @@ USE_DYNAMIC_FRAMES=1
 
 # Disable any setting of EXTERNAL_SAT_SOLVER, and choose SMT backend instead
 EXTERNAL_SAT_SOLVER=
-CBMCFLAGS=--smt2
+CBMCFLAGS=--smt2 --no-array-field-sensitivity --slice-formula
 
 FUNCTION_NAME = pack_pk
 

proofs/cbmc/pointwise_sum_of_products/Makefile

@@ -26,7 +26,7 @@ USE_DYNAMIC_FRAMES=1
 
 # Disable any setting of EXTERNAL_SAT_SOLVER, and choose SMT backend instead
 EXTERNAL_SAT_SOLVER=
-CBMCFLAGS=--smt2 --slice-formula
+CBMCFLAGS=--smt2 --slice-formula --no-array-field-sensitivity
 
 FUNCTION_NAME = pointwise_sum_of_products