Bound unfolding in Inox rather than rely on timeouts in PartialEvaluator#719
Open
romac wants to merge 7 commits intoepfl-lara:scala-2from romac:partial-unfold-once
+44-22
Commits
Commits on Jan 22, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
