Nightly Reports
Simulation Results: prim_prince
19/12/2025 17:08:41
sha: cab660a
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
65.000s
3736.729us
500
500
100.00
Error Messages
Test
seed
line
log context