2
87%
main: 87%

Ran 04 Feb 2026 02:33AM UTC

Files 73

Run time 2s

Badge

Committed 04 Feb 2026 01:42AM UTC coverage: 85.824% (-0.05%) from 85.871%

Build Type

push

github

Committed by

Commit Message

Add observation/invariant consistency checks + YAML support (#976)


Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

Run Details

8960 of 10440 relevant lines covered (85.82%)

2061879.35 hits per line