makefile takes external kprove options

runtimeverification · Dec 7, 2018 · aafdbb9 · aafdbb9
1 parent 0b0c4af
commit aafdbb9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/gnosis-imap/Makefile b/gnosis-imap/Makefile
@@ -6,7 +6,7 @@ TMPLS:=../gnosis/module-tmpl.k ../gnosis/test/spec-tmpl.k
 SPEC_GROUP:=gnosis-imap
 SPEC_INI:=gnosis-imap-spec.ini
 
-KPROVE_OPTS:=--smt-prelude $(abspath $(dir $(abspath $(lastword $(MAKEFILE_LIST))))/../gnosis/evm.smt2) --log-stmts-only --log-cells pc
+KPROVE_OPTS:=--smt-prelude $(abspath $(dir $(abspath $(lastword $(MAKEFILE_LIST))))/../gnosis/evm.smt2)
 
 SPEC_NAMES:=encodeTransactionData
 

diff --git a/resources/kprove.mak b/resources/kprove.mak
@@ -27,6 +27,7 @@ TMPLS?=module-tmpl.k spec-tmpl.k
 
 # additional options to kprove command
 KPROVE_OPTS?=
+KPROVE_OPTS+=$(EXT_KPROVE_OPTS)
 
 #
 # Settings