Regression tests: Case-insensitive checks when comparing Error RESULT specifications.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10260 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/Property.java

@@ -266,8 +266,8 @@ public class Property extends ASTElement
 				if (strExpected.startsWith("Error:")) {
 					String words[] = strExpected.substring(6).split(",");
 					for (String word : words) {
-						String mustContain = word.trim();
-						if (!errMsg.contains(mustContain)) {
+						String mustContain = word.trim().toLowerCase();
+						if (!errMsg.toLowerCase().contains(mustContain)) {
 							throw new PrismException("Error message should contain \"" + mustContain + "\"");
 						}
 					}