From 66bb895cec00398286caf27f21a2d243d3d4173c Mon Sep 17 00:00:00 2001
From: pistiner <59415933+orpistiner@users.noreply.github.com>
Date: Tue, 24 Nov 2020 14:53:09 +0200
Subject: [PATCH] Updated running script of UserConfiguration library.

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

diff --git a/runUserConfigCLI.sh b/runUserConfigCLI.sh
index f3ddbacc..776c032e 100644
--- a/runUserConfigCLI.sh
+++ b/runUserConfigCLI.sh
@@ -1 +1 @@
-certoraRun specs/harness/UserConfigurationHarness.sol  --solc solc6.8 --verify UserConfigurationHarness:specs/UserConfiguration.spec --settings -useBitVectorTheory --staging master
+certoraRun specs/harness/UserConfigurationHarness.sol  --solc solc6.12 --verify UserConfigurationHarness:specs/UserConfiguration.spec --solc_args '--optimize' --settings -useBitVectorTheory --staging