Skip to content
Build and Test

[FIRRTL][Verif][LTL] Replace ltl.disable with an enable folded into verif.assert #25615

Sign in to view logs

[FIRRTL][Verif][LTL] Replace ltl.disable with an enable folded into verif.assert

[FIRRTL][Verif][LTL] Replace ltl.disable with an enable folded into verif.assert #25615

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sanity Check
34s
Build and Test (clang, clang++, Debug, ON, ON)
2m 20s
Build and Test (gcc, g++, Release, OFF, OFF)
1s
2m 55s