Nightly Reports
Simulation Results: prim_prince
12/12/2025 17:09:52
sha: 801ac60
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
49.960s
3690.625us
500
500
100.00
Error Messages
Test
seed
line
log context