From a2127a5b56ebdd78e29b22b9aac96b1e9fe67c1a Mon Sep 17 00:00:00 2001
From: Shelly Grossman <shellygr151@gmail.com>
Date: Mon, 19 Oct 2020 14:15:33 +0300
Subject: [PATCH] runner script for stable token

---
 runStableTokenCLI.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 runStableTokenCLI.sh

diff --git a/runStableTokenCLI.sh b/runStableTokenCLI.sh
new file mode 100644
index 00000000..658c7663
--- /dev/null
+++ b/runStableTokenCLI.sh
@@ -0,0 +1 @@
+certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc solc6.8 --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic --cache StableDebtToken --staging master
\ No newline at end of file