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

[Eva] Memexec: fixes the computation of the set of bases related to the inputs.

parent 1755ced8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/engine/mem_exec.ml
+ 1
− 1
View file @ c53b6c1f
...@@ -148,7 +148,7 @@ module Make ...@@ -148,7 +148,7 @@ module Make
if Base.Hptset.equal expanded_bases bases if Base.Hptset.equal expanded_bases bases
then Base.SetLattice.inject expanded_bases then Base.SetLattice.inject expanded_bases
else if count <= 0 then Base.SetLattice.top else if count <= 0 then Base.SetLattice.top
else expand_inputs_with_relations (count - 1) kf new_bases state else expand_inputs_with_relations (count - 1) kf expanded_bases state
let store_computed_call kf input_state args let store_computed_call kf input_state args
(call_result: Domain.t list Bottom.or_bottom) = (call_result: Domain.t list Bottom.or_bottom) =
......
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