From 9ffecd18ff061df9e7a52f09a0ea1610fda03c79 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 11:47:38 +0200
Subject: Avoid beauty

---
 Assignment2/src/DTMC.icl | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'Assignment2')

diff --git a/Assignment2/src/DTMC.icl b/Assignment2/src/DTMC.icl
index c4e49c4..c532dfb 100644
--- a/Assignment2/src/DTMC.icl
+++ b/Assignment2/src/DTMC.icl
@@ -236,9 +236,8 @@ assertProperty (prob, target) dtmc z3 w
 # formula = 'M'.get target init.transitions
 | isNothing formula = abort "Cannot reach property target from initial state"
 # formula = fromJust formula
-# formula = "((" <+ formula <+ ") = " <+ prob <+ ")"
-# formula = parseInfix formula
-# w = addAssert z3 (toString formula) w
+# formula = "(= (" <+ prob <+ ") (" <+ parseInfix formula <+ "))"
+# w = addAssert z3 formula w
 = (dtmc, w)
 
 Start w
-- 
cgit v1.2.3