Merge pull request #3 from stefanlatinovic/stefanlatinovic-patch-1

docs: fix wrong internal linking in `README.md` for `invariant-break`
Cyfrin · Jul 11, 2024 · 1d053cc · 1d053cc
2 parents fc9a94c + 1c5449a
commit 1d053cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/invariant-break/README.md b/src/invariant-break/README.md
@@ -301,7 +301,7 @@ It's different from a fuzzer, as a fuzzer tries inputs for `y`. Whereas a SAT So
 
 ### Code Example
 
-You can view [../../test/invariant-break/FormalVerificationCatchesTest.t.sol](../../test/invariant-break/FormalVerificationCatchesTest.t.sol) for a full example. 
+You can view [../../test/invariant-break/formal-verification/HalmosTest.t.sol](../../test/invariant-break/formal-verification/HalmosTest.t.sol) for a full example. 
 
 ### Pros & Cons