Print z3 version in formal verification tests
@@ -22,10 +22,12 @@ SCRIPTS = $(wildcard *.saw)
#A log file will be created for each test in the temp dir
LOGS=$(patsubst %.saw,tmp/%.log,$(SCRIPTS))
SHELL:=/bin/bash
+Z3_VERSION=$(shell z3 --version)
export LIBCRYPTO_ROOT:=$(shell pwd)/../../libcrypto-root
.PHONY : all
all:
+ @echo "Running formal verification with ${Z3_VERSION}"
@${MAKE} clean-logs
@${MAKE} $(LOGS)
@${MAKE} failure-tests
@@ -44,6 +46,7 @@ clean-failure-logs :
tmp/%.log : %.saw bitcode/all_llvm.bc tmp
+ @echo "Running formal verification with ${Z3_VERSION} and ${SAW_VERSION}"
@echo saw $<
@set -o pipefail; \
saw $< | tee $@
