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