Skip to content
Snippets Groups Projects
Commit f194bfbe authored by Ivan Kuraj's avatar Ivan Kuraj Committed by Etienne Kneuss
Browse files

Changed checking for counterexample implications from verification to... 

Changed checking for counterexample implications from verification to evaluation, added evaluation strategies (default and codegen), some heuristics, measurements
parent bb37e92e
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 856 additions and 541 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment