Nightly Reports
Simulation Results: prim_prince
16/01/2026 17:05:14
sha: b5ecf83
json
Branch: master
Tool: vcs [unknown]
Coverage statistics
Total
100.00 %
code
100.00 %
assert
100.00 %
line
100.00 %
branch
100.00 %
cond
100.00 %
toggle
100.00 %
Validation stages
unmapped
100.00%
unmapped
500/500 passed
100.00 %
Testpoint
Test
Max Runtime
Sim Time
Pass
Total
%
Unmapped
500
500
100.00
prim_prince_test
51.970s
3736.497us
500
500
100.00
Error Messages
Test
seed
line
log context