Skip to content

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

Engine heuristic: fix for assumptions unsupported by k-induction

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

Annotations

2 warnings

check-macos-14-make-clang

succeeded Jan 15, 2025 in 2m 8s
Set up job
1s
Run actions/checkout@v4
13s
Fetch dependencies
18s
Confirm z3 solver is available and log the version installed
0s
Prepare ccache
9s
ccache environment
0s
Zero ccache stats and limit in size
0s
Get cadical and minisat
2s
Build with make
8s
Run unit tests
1s
Run the ebmc tests with SAT
9s
Run the ebmc tests with Z3
11s
Run the verilog tests
12s
Run the verilog tests with Z3
13s
Run the smv tests
2s
Run the smv tests with Z3
1s
Run the vlindex tests
0s
Print ccache stats
0s
Post Prepare ccache
23s
Post Run actions/checkout@v4
1s
Complete job
0s