neo-project / neo-devpack-dotnet / 11233262573
74%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 213
Run time 1min
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: 73.625% (+0.5%) from 73.09%
11233262573

push

github

web-flow 
reentrancy analyzer test (#1189)

* reentrancy analyzer test

* reentrancy from method call

* single basic block reentancy; no reentrancy by jumps

* method with [NoReentrant]

---------

Co-authored-by: Jimmy <jimmy@r3e.network>
Co-authored-by: Shargon <shargon@gmail.com>

4480 of 6617 branches covered (67.7%)

Branch coverage included in aggregate %.

12026 of 15802 relevant lines covered (76.1%)

19395.85 hits per line

Jobs
ID Job ID Ran Files Coverage
1 11233262573.1 213
73.63
 GitHub Action Run
Source Files on build 11233262573