9254290157
98%

Ran 27 May 2024 12:34PM UTC

Jobs 1

Files 43

Run time 1min

Badge

Committed 27 May 2024 11:49AM UTC coverage: 99.276% (-0.004%) from 99.28%

Build Type

push

github

Committed by

Commit Message

fix: Use correct domain for deep codeword

Base and extension combination codewords must be evaluated over the
`short_domain`, not the `fri` domain.

Run Details

50 of 50 new or added lines in 4 files covered. (100.0%)

16 existing lines in 3 files now uncovered.

44034 of 44355 relevant lines covered (99.28%)

3866245.48 hits per line

Lines	Coverage	∆	File
1	96.33	-0.14%	triton-vm/src/program.rs
6	99.41	-0.27%	triton-vm/src/vm.rs
9	99.38	-0.23%	triton-vm/src/table/processor_table.rs

ID	Job ID	Ran	Files	Coverage
1	9254290157.1	27 May 2024 12:34PM UTC	43	99.28	GitHub Action Run