Skip to content
Build and Test

[HWToBTOR2] Add basic support for verif.formal #35560

Sign in to view logs

[HWToBTOR2] Add basic support for verif.formal

[HWToBTOR2] Add basic support for verif.formal #35560

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sanity Check
32s
Build and Test (clang, clang++, Debug, ON, ON)
13m 2s
Build and Test (gcc, g++, Release, OFF, OFF)
10m 11s
23m 45s