1
98%
master: 98%

Ran 07 Jun 2024 10:03AM UTC

Files 43

Run time 1s

Badge

Embed ▾

Committed 07 Jun 2024 09:16AM UTC coverage: 99.277% (-0.04%) from 99.315%

Job # 9414653775.1

Build Type

push

github

Committed by

jan-ferdinand

Commit Message

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

Coverage Stats

44201 of 44523 relevant lines covered (99.28%)

3999421.8 hits per line

TritonVM / triton-vm / 9414653775 / 1
98%
master: 98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9414653775.1

TritonVM / triton-vm / 9414653775 / 1 98% master: 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9414653775.1

TritonVM / triton-vm / 9414653775 / 1
98%
master: 98%

README BADGES
x