26111657327
98%

Ran 19 May 2026 05:10PM UTC

Jobs 1

Files 51

Run time 2min

Badge

Committed 19 May 2026 02:19PM UTC coverage: 98.245% (-0.002%) from 98.247%

Build Type

push

github

Committed by

Commit Message

test: Turn ad-hoc proptests into `proptest`s

Also, clean up various tests and use the existing test infrastructure
more.

changelog: ignore

Coverage Stats

15786 of 16068 relevant lines covered (98.24%)

9960196.79 hits per line

Lines	Coverage	∆	File
3	99.38	0.04%	triton-isa/src/instruction.rs
1	96.58	0.0%	triton-constraint-circuit/src/lib.rs
1	97.68	-0.39%	triton-isa/src/program.rs
1	98.95	-0.1%	triton-vm/src/vm.rs

ID	Job ID	Ran	Files	Coverage
1	26111657327.1	19 May 2026 05:10PM UTC	51	98.24	GitHub Action Run