AssertionFailure -> AssertionFailed (#166)

Author: gustavo-grieco

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