diff --git a/prism-tests/README.md b/prism-tests/README.md index 7c332e62..a6676a71 100644 --- a/prism-tests/README.md +++ b/prism-tests/README.md @@ -34,4 +34,4 @@ Current test sets are: See here for more details: -* http://www.prismmodelchecker.org/wiki/Developers/RegressionTesting +* https://github.com/prismmodelchecker/prism/wiki/Regression-Testing