From 669a22e0ff7eba0b09aeca2ae216d7093ba24025 Mon Sep 17 00:00:00 2001 From: teryanarmen Date: Wed, 1 Jun 2022 17:39:39 -0700 Subject: [PATCH] remove duplicate initalize script --- certora/scripts/verifyInitializableComplex.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 certora/scripts/verifyInitializableComplex.sh diff --git a/certora/scripts/verifyInitializableComplex.sh b/certora/scripts/verifyInitializableComplex.sh deleted file mode 100644 index 2a3da4b2d..000000000 --- a/certora/scripts/verifyInitializableComplex.sh +++ /dev/null @@ -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" \ - - -