TritonVM / triton-vm / 9414653775
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 43
Run time 5min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 99.277% (-0.04%) from 99.315%
9414653775

push

github

jan-ferdinand 
fix: Initialize vector before calling `.set_len()`

The previous use of `.set_len()` did not uphold the safety contract,
resulting in undefined behavior. [0, 1] Initializing the spare capacity
before setting the length makes the behavior defined.

[0] https://users.rust-lang.org/t/58755
[1] https://users.rust-lang.org/t/38248

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

18 existing lines in 3 files now uncovered.

44201 of 44523 relevant lines covered (99.28%)

3999421.8 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
3
95.72
 -0.21% triton-vm/src/table/constraint_circuit.rs
6
99.48
 -0.26% triton-vm/src/vm.rs
9
99.38
 -0.23% triton-vm/src/table/processor_table.rs
Jobs
ID Job ID Ran Files Coverage
1 9414653775.1 43
99.28
 GitHub Action Run
Source Files on build 9414653775