From 148f2b814edd50efeb5c35e129be3e62b4ce43a9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 2 Jan 2012 21:41:59 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java index 56423fce..b38a8e13 100644 --- a/prism/src/parser/ast/Property.java +++ b/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 + ")"); } }