zhouqingqing / qpmodel / 421615864 / 1

92%

master: 92%

push

github

use formal contract method instead of debug.assert for spec enforcement (#289)

4310 of 4938 branches covered (87.28%)

Branch coverage included in aggregate %.

10470 of 11152 relevant lines covered (93.88%)

3117436.31 hits per line