Browse Source

remove duplicate initalize script

teryanarmen 3 years ago
parent
commit
669a22e0ff
1 changed files with 0 additions and 12 deletions
  1. 0 12
      certora/scripts/verifyInitializableComplex.sh

+ 0 - 12
certora/scripts/verifyInitializableComplex.sh

@@ -1,12 +0,0 @@
-certoraRun \
-    certora/harnesses/InitializableComplexHarness.sol \
-    --verify InitializableComplexHarness:certora/specs/InitializableCompex.spec \
-    --solc solc \
-    --optimistic_loop \
-    --rule_sanity advanced \
-    --send_only \
-    --loop_iter 1 \
-    --msg "all sanity" \
-
-
-