AssertionFailure -> AssertionFailed (#166)

crytic · Nov 23, 2022 · 5d9751d · 5d9751d
1 parent 06a50c6
commit 5d9751d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/program-analysis/echidna/testing-modes.md b/program-analysis/echidna/testing-modes.md
@@ -70,10 +70,10 @@ function checkInvariant(..) public { // Any number of arguments is supported
     internalFunction(..);
 
     // The following statement will always trigger a failure even if the execution ends with a revert
-    emits AssertionFailure(..);
+    emits AssertionFailed(..);
 
     // The following statement will *only* trigger a failure using `assert` if using solc 0.8.x or newer
-    // To make sure it works in older versions, use the AssertionFailure(..) event
+    // To make sure it works in older versions, use the AssertionFailed(..) event
     anotherContract.function(..);
     
 } // side effects are preserved