Bo-Yuan-Huang / ILAng / 1018 / 1
86%
master: 86%

DEFAULT BRANCH: master
Ran
Files 139
Run time 29s
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: 85.963% (-0.5%) from 86.486%
COVERITY_SCAN_TOKEN=[secure] MATRIX_EVAL="CC=gcc-7 && CXX=g++-7"

push

travis-ci-com

web-flow 
Merge pull request #200 from Bo-Yuan-Huang/smt

Unified SMT interface

13479 of 15680 relevant lines covered (85.96%)

106387.52 hits per line

Source Files on job 1018.1 (COVERITY_SCAN_TOKEN=[secure] MATRIX_EVAL="CC=gcc-7 && CXX=g++-7")