Merge pull request #681 from pq-code-package/cbmc_results

Modify the CBMC Makefile "result" target to actually display proof results.

Author: hanno-becker

proofs/cbmc/Makefile.common

@@ -953,6 +953,9 @@ result:
 	$(MAKE) -B _result
 	@ echo Running 'litani build'
 	$(LITANI) run-build
+	tail -4 $(LOGDIR)/result.txt
+	-grep FAILURE $(LOGDIR)/result.txt
+
 
 _property: $(LOGDIR)/property.xml
 property: