Skip to content
Snippets Groups Projects
Commit 471e7135 authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Introduce RepairHole 

- evaluate it to simplest value
- solve it to arbitrary value
- Use within CEGLESS as bank of exprs
- Avoid GuidedCloser if non-det expr (contains choose, holes, ..)
parent 15be6120
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 217 additions and 94 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment