Nightly Reports
Simulation Results: prim_prince
26/12/2025 17:03:56
sha: 3043786
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.590s
3708.673us
500
500
100.00
Error Messages
Test
seed
line
log context