Skip to content
Commit 867abc52 authored by Marek Chalupa's avatar Marek Chalupa
Browse files

overapprox: fix overapproximating set 

We must pop on all paths from the safe solver.
We did not pop when we failed getting the decomposed literal.
parent 2e2312e6
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment