6877110642
98%

Ran 15 Nov 2023 01:08PM UTC

Jobs 1

Files 39

Run time 8s

Badge

Committed 15 Nov 2023 12:13PM UTC coverage: 96.362% (-0.03%) from 96.391%

Build Type

push

github

Committed by

Commit Message

chore: `read_mem` starts reading at current address

Instead of `push a read_mem 1` reading from address `a-1`, it reads
from address `a`.

Run Details

97 of 98 new or added lines in 5 files covered. (98.98%)

21613 of 22429 relevant lines covered (96.36%)

2258708.36 hits per line

Lines	Coverage	∆	File
1	99.95	-0.05%	triton-vm/src/table/processor_table.rs

ID	Job ID	Ran	Files	Coverage
1	6877110642.1	15 Nov 2023 01:08PM UTC	39	96.36	GitHub Action Run