From fd1f539116ada24950a3afd9ac8f4572157724f1 Mon Sep 17 00:00:00 2001
From: 0xPhaze <103113487+0xPhaze@users.noreply.github.com>
Date: Wed, 22 Feb 2023 10:26:19 +0100
Subject: [PATCH] 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.
---
 src/test.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test.sol b/src/test.sol
index 38c5188..de504d3 100644
--- 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(