Verification

Merge pull request #3 from meiniKi/dev #52

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run rvtests	2m 26s
Cover reg checks	7m 20s
Cover insn checks	7m 10s
BMC insn checks	28m 16s
BMC reg checks	2m 20s
Run RISCOF tests	41m 4s
	1h 28m 36s