From f3ddb0cfc208f3ce35d1005bbf8a22e8f3cdd779 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 20:30:57 +0200
Subject: Prevent division by zero in Z3

---
 Assignment2/src/die.properties | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Assignment2/src/die.properties')

diff --git a/Assignment2/src/die.properties b/Assignment2/src/die.properties
index f507f66..ce7e591 100644
--- a/Assignment2/src/die.properties
+++ b/Assignment2/src/die.properties
@@ -1 +1,6 @@
-(EQ, 0.5, 7)
+(LT, 0.166666666, 7)
+(LT, 0.166666666, 8)
+(LT, 0.166666666, 9)
+(LT, 0.166666666, 10)
+(LT, 0.166666666, 11)
+(LT, 0.166666666, 12)
-- 
cgit v1.2.3