fix solc

opynfinance · Dec 3, 2020 · d44ee94 · d44ee94
1 parent 07235a9
commit d44ee94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/scripts/runValidBalances.sh b/specs/scripts/runValidBalances.sh
@@ -1 +1 @@
-certoraRun specs/harness/ControllerHarness.sol contracts/MarginPool.sol:MarginPool contracts/Whitelist.sol specs/harness/OtokenHarnessA.sol specs/harness/OtokenHarnessB.sol specs/harness/DummyERC20A.sol specs/harness/DummyERC20B.sol specs/harness/DummyERC20C.sol --link ControllerHarness:pool=MarginPool ControllerHarness:anOtokenA=OtokenHarnessA ControllerHarness:anOtokenB=OtokenHarnessB ControllerHarness:dummyERC20C=DummyERC20C OtokenHarnessA:underlyingAsset=DummyERC20A OtokenHarnessA:strikeAsset=DummyERC20B OtokenHarnessA:collateralAsset=DummyERC20C OtokenHarnessB:underlyingAsset=DummyERC20A OtokenHarnessB:strikeAsset=DummyERC20B OtokenHarnessB:collateralAsset=DummyERC20C --solc solc6.10 --verify ControllerHarness:specs/ValidBalances.spec  --settings  -assumeUnwindCond,-copyLoopUnroll=3,-enableStorageVariableUnpacking=false,-deleteSMTFile=true,-t=300,-ignoreViewFunctions,-rule=$1 --cloud --cache OpynValidBalances 
+certoraRun specs/harness/ControllerHarness.sol contracts/MarginPool.sol:MarginPool contracts/Whitelist.sol specs/harness/OtokenHarnessA.sol specs/harness/OtokenHarnessB.sol specs/harness/DummyERC20A.sol specs/harness/DummyERC20B.sol specs/harness/DummyERC20C.sol --link ControllerHarness:pool=MarginPool ControllerHarness:anOtokenA=OtokenHarnessA ControllerHarness:anOtokenB=OtokenHarnessB ControllerHarness:dummyERC20C=DummyERC20C OtokenHarnessA:underlyingAsset=DummyERC20A OtokenHarnessA:strikeAsset=DummyERC20B OtokenHarnessA:collateralAsset=DummyERC20C OtokenHarnessB:underlyingAsset=DummyERC20A OtokenHarnessB:strikeAsset=DummyERC20B OtokenHarnessB:collateralAsset=DummyERC20C --solc solc --verify ControllerHarness:specs/ValidBalances.spec  --settings  -assumeUnwindCond,-copyLoopUnroll=3,-enableStorageVariableUnpacking=false,-deleteSMTFile=true,-t=300,-ignoreViewFunctions,-rule=$1 --cloud --cache OpynValidBalances