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

Annotations

2 warnings

Set up job

Run actions/checkout@v4

Fetch dependencies

14s

Confirm z3 solver is available and log the version installed

Prepare ccache

ccache environment

Zero ccache stats and limit in size

Get cadical and minisat

Build with make

Run unit tests

Run the ebmc tests with SAT

Run the ebmc tests with Z3

14s

Run the verilog tests

Run the verilog tests with Z3

14s

Run the smv tests

Run the smv tests with Z3

Run the vlindex tests

Print ccache stats

Post Prepare ccache

Post Run actions/checkout@v4

Complete job