Skip to content
Commit 0384f6cf authored by Marek Chalupa's avatar Marek Chalupa
Browse files

overapproximations: add a timeout to solving 

500ms per one call, we'll make it configurable later.
parent a3d8726a
Hide whitespace changes
Inline Side-by-side
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