feat: make fail() virtual

Making `fail()` virtual allows us to easily plug in other frameworks. This can be useful if we want to change the behavior for an `assert(False)` statement, which would allow us to easily adapt a given test-setup for use with Echidna or the SMTChecker for formal verification.
dapphub · Feb 24, 2023 · fd1f539 · fd1f539
1 parent 6f7efd3
commit fd1f539
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test.sol b/src/test.sol
@@ -62,7 +62,7 @@ contract DSTest {
         }
     }
 
-    function fail() internal {
+    function fail() internal virtual {
         if (hasHEVMContext()) {
             (bool status, ) = HEVM_ADDRESS.call(
                 abi.encodePacked(