This repository has been archived by the owner on Aug 19, 2024. It is now read-only.

Add convert DecodeTableAnnotation regression test #1330

Job	Run time
sbt test on mac	56s
Integration Tests (2.13.10, 8)	42s
Integration Tests (2.13.10, 11)	53s
Documentation and Formatting	45s
formal verification tests (z3)	58s
Integration Tests (2.13.10, 20)	49s
formal verification tests on mac	1m 22s
formal verification tests (cvc4)	1m 0s
formal verification tests (btormc)	1m 4s
icarus verilog (ubuntu-20.04)	52s
No Warnings with Scala 2.13 for PRs	44s
icarus verilog (macos-latest)	52s
formal verification tests (bitwuzla)	1m 1s
sbt test on ubuntu (2.13.10, 8)	44s
sbt test on ubuntu (2.13.10, 11)	51s
sbt test for treadle on ubuntu (2.13.10, 8)	44s
verilator regressions (4.028)	52s
sbt test for treadle on ubuntu (2.13.10, 11)	54s
verilator regressions (4.032)	51s
verilator regressions (4.034)	53s
verilator regressions (4.038)	53s
verilator regressions (4.108)	58s
verilator regressions (4.200)	52s
verilator regressions (4.202)	53s
all tests passed	0s
publish	0s
	21m 23s

Provide feedback