Fix in numerical value comparison for -test checks.

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

prism/src/parser/ast/Property.java

@@ -256,7 +256,7 @@ public class Property extends ASTElement
 				if (!Double.isNaN(doubleExp))
 					throw new PrismException("Wrong result (expected " + doubleExp + ")");
 			} else {
-				if (!PrismUtils.doublesAreCloseRel(doubleRes, doubleExp, 1e-5))
+				if (!PrismUtils.doublesAreCloseRel(doubleExp, doubleRes, 1e-5))
 					throw new PrismException("Wrong result (expected " + doubleExp + ")");
 			}
 		}