Selene/AStat
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fixed interval

Browse source
This commit is contained in:
soyouzpanda 2024-06-01 21:23:14 +02:00
parent 0ed5e6b81f
commit fe42e05286
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
domains/interval.ml
View file

@ -98,7 +98,7 @@ module Interval : NAKED_VALUE_DOMAIN = struct
let r2 = rand (Z.max z1.lower z2.lower) z2.upper in let r2 = rand (Z.max z1.lower z2.lower) z2.upper in
(r1, r2) (r1, r2)
| AST_GREATER -> let r1, r2 = compare z2 z1 AST_LESS in r2, r1 | AST_GREATER -> let r1, r2 = compare z2 z1 AST_LESS in r2, r1
| AST_GREATER_EQUAL -> let r1, r2 = compare z2 z1 AST_GREATER_EQUAL in r2, r1 | AST_GREATER_EQUAL -> let r1, r2 = compare z2 z1 AST_LESS_EQUAL in r2, r1
let bwd_binary z1 z2 op r = let bwd_binary z1 z2 op r =
match op with match op with