summaryrefslogtreecommitdiff
path: root/Assignment2/src/die.properties
diff options
context:
space:
mode:
authorCamil Staps2018-07-06 20:30:57 +0200
committerCamil Staps2018-07-06 20:30:57 +0200
commitf3ddb0cfc208f3ce35d1005bbf8a22e8f3cdd779 (patch)
tree8dab04e1992d1d62cfd9f76ec481c8ae3874fa5c /Assignment2/src/die.properties
parentShortcommings of our own tool (diff)
Prevent division by zero in Z3
Diffstat (limited to 'Assignment2/src/die.properties')
-rw-r--r--Assignment2/src/die.properties7
1 files changed, 6 insertions, 1 deletions
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)