From fb685aa6839fcc304ebc1a8739da0d82e8c6ddc8 Mon Sep 17 00:00:00 2001
From: lucasmt <lmartinellitabajara@gmail.com>
Date: Wed, 12 Jun 2024 13:37:22 -0500
Subject: [PATCH] Add separate profile for kontrol proofs

---
 foundry.toml                        | 6 ++++++
 test/kontrol/scripts/run-kontrol.sh | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/foundry.toml b/foundry.toml
index 168aec6d..196e3fca 100644
--- 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
index d649f2d8..cd055976 100755
--- 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 "$@"
 
 #############