From e646f6587ee63b1356db460c4eb1cf00179d4bb0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 24 Apr 2019 10:15:38 +0100 Subject: [PATCH] Update link to regression test documentation (now on GitHub wiki). --- prism-tests/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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