neo-project / neo-devpack-dotnet / 11062970737

push

github

generate basic block jumps from coverage; enhance basic block analysis for contracts with NOP (#1177)

* generate basic block jumps from coverage

* BranchType in BasicBlock

* pop the ending FINALLY

* prevBlock & jumpSourceBlocks

* fix basic block test

* RemoveUncoveredInstructions before basic block test

* fix JumpTarget t2; allow experimental optimizer alone

* improve basic block analysis for contracts with NOP

* basic block split by NOP

---------

Co-authored-by: Shargon <shargon@gmail.com>

4341 of 6465 branches covered (67.15%)

Branch coverage included in aggregate %.

86 of 113 new or added lines in 6 files covered. (76.11%)

11584 of 15456 relevant lines covered (74.95%)

19838.75 hits per line