From 30bec11226754fabb3df0c59f21e972fb72e510e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 22:43:09 +0000
Subject: [PATCH] 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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index a3b32342..a7e974f0 100644
--- a/prism/src/parser/ast/Property.java
+++ b/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 + "\"");
 						}
 					}