Skip to content

BMC: return property handles/literals #3271

BMC: return property handles/literals

BMC: return property handles/literals #3271

Annotations

2 warnings

Emscripten build

succeeded Jan 17, 2025 in 2m 1s
Set up job
1s
Run actions/checkout@v4
6s
Fetch dependencies
34s
Install node.js 23
4s
Install emscripten
38s
Prepare ccache
4s
ccache environment
0s
Zero ccache stats and limit in size
0s
Get minisat
0s
Build with make
18s
print version number via node.js
0s
Compile unit tests
0s
Run unit tests
0s
Print ccache stats
0s
Post Prepare ccache
11s
Post Install node.js 23
0s
Post Run actions/checkout@v4
0s
Complete job
0s