WIP: use dereference cache for paths-lifo

Hannes Steffenhagen · Hannes Steffenhagen · commit 361852a574ae · 2021-03-23T10:57:04.000Z
diff --git a/regression/cbmc/Makefile b/regression/cbmc/Makefile
@@ -29,7 +29,7 @@ test-cprover-smt2:
 	  $(GCC_ONLY)
 
 test-paths-lifo:
-	@../test.pl -e -p -c "../../../src/cbmc/cbmc --paths lifo" \
+	@../test.pl -e -p -c "../../../src/cbmc/cbmc --paths lifo --symex-cache-dereferences" \
 	  -X thorough-paths \
 	  -X smt-backend \
 	  -X paths-lifo-expected-failure \
