Enabled failed-tests output in cbmc-cpp

NathanJPhillips · Jun 13, 2018 · 39a5631 · 39a5631
1 parent fafe4d9
commit 39a5631
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/regression/cbmc-cpp/Makefile b/regression/cbmc-cpp/Makefile
@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c ../../../src/cbmc/cbmc
+	@../test.pl -p -c ../../../src/cbmc/cbmc
 
 tests.log: ../test.pl
-	@../test.pl -c ../../../src/cbmc/cbmc
+	@../test.pl -p -c ../../../src/cbmc/cbmc
 
 show:
 	@for dir in *; do \