diff options
author | Camil Staps | 2018-07-06 20:30:57 +0200 |
---|---|---|
committer | Camil Staps | 2018-07-06 20:30:57 +0200 |
commit | f3ddb0cfc208f3ce35d1005bbf8a22e8f3cdd779 (patch) | |
tree | 8dab04e1992d1d62cfd9f76ec481c8ae3874fa5c /Assignment2/src/die.properties | |
parent | Shortcommings of our own tool (diff) |
Prevent division by zero in Z3
Diffstat (limited to 'Assignment2/src/die.properties')
-rw-r--r-- | Assignment2/src/die.properties | 7 |
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) |