Skip to content

Engine heuristic: fix for assumptions unsupported by k-induction#923

Draft
kroening wants to merge 1 commit intomainfrom k-induction6-fix
+43-10

Commits

Commits on Jan 7, 2025