38886647265
64%

Ran 16 Oct 2026 10:26AM UTC

Jobs 1

Files 95

Run time 1min

Badge

Committed 15 Oct 2026 06:05PM UTC coverage: 63.956% (+0.4%) from 63.523%

Build Type

push

github

Committed by

Commit Message

test: atomic constraint reification encodings

Coverage Stats

172 of 172 new or added lines in 1 file covered. (100.0%)

366 existing lines in 2 files now uncovered.

15824 of 24742 relevant lines covered (63.96%)

130263.95 hits per line

Lines	Coverage	∆	File
364	55.95	-1.1%	src/types/constraints.rs
2	98.8	43.6%	src/encodings/atomics.rs

ID	Job ID	Ran	Files	Coverage
1	38886647265.1	16 Oct 2026 10:26AM UTC	278	24.55	GitHub Action Run