21554037376
87%

Ran 01 Feb 2026 01:25AM UTC

Jobs 2

Files 74

Run time 1min

Badge

Committed 01 Feb 2026 01:13AM UTC coverage: 86.74% (-0.05%) from 86.792%

Build Type

push

github

Committed by

Commit Message

Fail fast on invalid radix_substr shifts (UBSan #602) (#977)


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

Run Details

11 of 18 new or added lines in 2 files covered. (61.11%)

9132 of 10528 relevant lines covered (86.74%)

3831532.68 hits per line

Lines	Coverage	∆	File
3	86.08	-0.52%	src/crab/array_domain.cpp
4	50.0	-50.0%	src/verifier.hpp

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 21554037376.1	01 Feb 2026 02:06AM UTC	74	84.4	GitHub Action Run
2	run-Release - 21554037376.2	01 Feb 2026 01:25AM UTC	73	85.87	GitHub Action Run