From c789077310cad5ccce737f6d09b5a18fa4abb922 Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Sun, 5 Apr 2020 22:20:07 +0200
Subject: [PATCH] checkAgainstExpectedResultString: Fix NaN check for exact

---
 prism/src/parser/ast/Property.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 8e5e5a7b..b1b59116 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -453,6 +453,7 @@ public class Property extends ASTElement
 				if (strExpectedValue.equals("NaN")) {
 					if (!rationalRes.isNaN())
 						throw new PrismException("Wrong result (expected NaN, got " + rationalRes + ")");
+					rationalExp = BigRational.NAN;
 				}
 				// For integers/rationals/doubles, parse with BigRational
 				else {