Merge branch 'master' into ghc-9.8

crytic · Dec 13, 2024 · 0e10dae · 0e10dae
2 parents 3aa0798 + 1ef14f0
commit 0e10dae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/solidity/cheat/prank.sol b/tests/solidity/cheat/prank.sol
@@ -44,7 +44,7 @@ contract SenderVerifierParent {
     if (s != msg.sender) {
       emit Sender(msg.sender);
       emit AssertionFailed("fail on first call");
-    }      
+    }
     c.verifyMsgSender(address(this));
     new ExpectedCreator(address(this));
   }

diff --git a/tests/solidity/cheat/prank.yaml b/tests/solidity/cheat/prank.yaml
@@ -1,3 +1,3 @@
 testLimit: 1000
 seqLen: 10
-testMode: assertion
+testMode: assertion