Skip to content
Snippets Groups Projects
Commit 8ca7c3bc authored by David Bühler's avatar David Bühler
Browse files

[Eva] Results: fixes [equality_class] in case no equality is found.

parent bb0f1990
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/utils/results.ml
+ 2
− 1
View file @ 8ca7c3bc
...@@ -291,7 +291,8 @@ struct ...@@ -291,7 +291,8 @@ struct
let hce = Hcexprs.HCE.of_exp exp in let hce = Hcexprs.HCE.of_exp exp in
let extract' state = let extract' state =
let equalities = Equality_domain.project (extract state) in let equalities = Equality_domain.project (extract state) in
NonTrivial (Set.find hce equalities) try NonTrivial (Set.find hce equalities)
with Not_found -> Trivial
and reduce e1 e2 = and reduce e1 e2 =
match e1, e2 with match e1, e2 with
| Trivial, _ | _, Trivial -> Trivial | Trivial, _ | _, Trivial -> Trivial
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment