Skip to content
Back to pull request #923

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

Sign in to view logs

Engine heuristic: fix for assumptions unsupported by k-induction

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-clang-format
1m 19s
1m 19s