This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
Add pono backend to chisel formal for bmc #1338
Gallagatortest.yml
on: pull_request
Matrix: formal verification tests
Matrix: icarus verilog
Matrix: Integration Tests
Matrix: sbt test on ubuntu
Matrix: verilator regressions
sbt test on mac
1m 44s
formal verification tests on mac
3m 9s
Documentation and Formatting
1m 12s
Matrix: sbt test for treadle on ubuntu
No Warnings with Scala 2.13 for PRs
1m 39s
publish
0s
all tests passed
0s
Annotations
5 errors
|
formal verification tests (pono)
Process completed with exit code 1.
|
|
formal verification tests (cvc4)
The job was canceled because "pono" failed.
|
|
formal verification tests (bitwuzla)
The job was canceled because "pono" failed.
|
|
formal verification tests (z3)
The job was canceled because "pono" failed.
|
|
formal verification tests (z3)
The operation was canceled.
|