6990318465
98%

Ran 25 Nov 2023 05:55PM CUT

Jobs 1

Files 39

Run time 5s

Badge

Committed 25 Nov 2023 03:35PM CUT coverage: 96.365% (-0.01%) from 96.378%

Build Type

push

github

Committed by

Commit Message

test: use `proptest`, not ad-hoc prop tests, for program parsing tests

Run Details

54 of 54 new or added lines in 2 files covered. (100.0%)

4 existing lines in 1 file now uncovered.

21737 of 22557 relevant lines covered (96.36%)

2306203.84 hits per line

Lines	Coverage	∆	File
4	96.14	-1.93%	triton-vm/src/op_stack.rs

ID	Job ID	Ran	Files	Coverage
1	6990318465.1	25 Nov 2023 05:55PM CUT	39	96.36	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	constraint-evaluation-generator/src/main.rs	949	559	0	559	0.0
70.0	triton-vm/benches/proof_size.rs	308	130	91	39	16.0
83.53	triton-vm/src/table/constraint_circuit.rs	1090	431	360	71	127825348.0 - 1433362
83.67	triton-vm/src/table/extension_table.rs	346	147	123	24	3160843.0 - 20203
90.65	triton-vm/src/proof_item.rs	222	107	97 + 1	10 - 1	840.0 - 20
92.38	triton-vm/src/table/cross_table_argument.rs	227	105	97	8	4314.0 + 49
93.75	triton-vm/src/table/challenges.rs	305	32	30	2	47063103.0 - 78262
94.64	triton-vm/src/profiler.rs	602	280	265	15	612.0 + 11
95.05	triton-vm/src/table/jump_stack_table.rs	370	202	192	10	44233.0 + 1633
95.48	triton-vm/src/table/master_table.rs	1119	465	444	21	167796.0 + 563