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

Refactor TEGIS/CEGIS grammars 

 - Some engineering fixes here and there
 - Make sure we remove witnesses before sending out to solver
 - Speed-up CEGIS:
   - Order tests based on likelihood to falsify input
   - Only assert wrongPrograms (C-Ex) when necessary
parent 0ca4f987
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 188 additions and 221 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment