Add separate profile for kontrol proofs

runtimeverification · Jun 12, 2024 · fb685aa · fb685aa
1 parent 5070a16
commit fb685aa
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/foundry.toml b/foundry.toml
@@ -5,6 +5,12 @@ libs = ['node_modules', 'lib']
 test = 'test'
 cache_path  = 'cache_forge'
 solc-version = "0.8.23"
+no-match-path = 'test/kontrol/*'
+
+[profile.kprove]
+src = 'test/kontrol'
+out = 'kout'
+test = 'test/kontrol'
 
 [fmt]
 multiline_func_header = 'params_first'
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -5,9 +5,9 @@ SCRIPT_HOME="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 # shellcheck source=/dev/null
 source "$SCRIPT_HOME/common.sh"
 export RUN_KONTROL=true
-CUSTOM_FOUNDRY_PROFILE=default
+CUSTOM_FOUNDRY_PROFILE=kprove
 export FOUNDRY_PROFILE=$CUSTOM_FOUNDRY_PROFILE
-export OUT_DIR=out # out dir of $FOUNDRY_PROFILE
+export OUT_DIR=kout # out dir of $FOUNDRY_PROFILE
 parse_args "$@"
 
 #############