neo-project / neo-devpack-dotnet / 8018014872 / 1

74%

master: 74%

push

github

More fixes on optimizer (#911)

* fix try if

* safer dumpnef

* no ABORT in try with catch & catch with finally

* safer debuginfo changes; nef & manifest UNHANDLED

* format

* cover catch before any return of branch type

---------

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

2351 of 4876 branches covered (48.22%)

Branch coverage included in aggregate %.

4807 of 8525 relevant lines covered (56.39%)

2541.21 hits per line