Skip to content

ebmc: test for k-induction with both refuted and proved property#266

Merged
kroening merged 1 commit intomainfrom k-induction5Dec 11, 2023
+43

Commits

Commits on Dec 11, 2023