From 219d765f970135079fab6129ab89106c01ea4f19 Mon Sep 17 00:00:00 2001
From: pistiner <59415933+orpistiner@users.noreply.github.com>
Date: Sun, 22 Nov 2020 22:39:06 +0200
Subject: [PATCH] Updated running script of VariableDebtToken

---
 runVariableTokenCLI.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runVariableTokenCLI.sh b/runVariableTokenCLI.sh
index 483e152e..cd037a7c 100644
--- a/runVariableTokenCLI.sh
+++ b/runVariableTokenCLI.sh
@@ -1 +1 @@
-certoraRun contracts/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.8 --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic --cache VariableDebtToken --staging
\ No newline at end of file
+certoraRun contracts/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.12 --solc_args '--optimize' --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -b=4,-assumeUnwindCond,-useNonLinearArithmetic --staging
\ No newline at end of file