1
56%
master: 56%

Ran 12 Aug 2025 08:14PM UTC

Files 382

Run time 11s

Badge

Embed ▾

Committed 12 Aug 2025 07:57PM UTC coverage: 55.859% (-0.08%) from 55.938%

Job # 16919458345.1

Build Type

push

github

Committed by

web-flow

Commit Message

Updated to allow to use index [0] on regular pointer. (#1929)

* Updated to allow to use index [0] on regular pointer.

* Added support to check the array bounds that a regular pointer points to.

* Updated to handle the pointer that doesn't point to array.

Run Details

12346 of 22102 relevant lines covered (55.86%)

252942.92 hits per line

nasa / trick / 16919458345 / 1
56%
master: 56%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 16919458345.1

nasa / trick / 16919458345 / 1 56% master: 56%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 16919458345.1

nasa / trick / 16919458345 / 1
56%
master: 56%

README BADGES
x