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

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added
Files 143
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

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 85.861% (-0.3%) from 86.164%
1053

Pull #209

travis-ci-com

web-flow 
Merge 0e18fbf10 into 9e48bddc2
Pull Request #209: Added variable objects (structs and vectors of variables) to ILAng

13985 of 16288 relevant lines covered (85.86%)

102437.0 hits per line

Relevant lines Covered
16288 RELEVANT LINES 13985 COVERED LINES
102437.0 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1053 main Merge 0e18fbf10 into 9e48bddc2 Pull #209 web-flow travis-ci-com
85.86
1052 main Merge 1ce5b8975 into 9e48bddc2 Pull #209 web-flow travis-ci-com
6.84
1051 main Merge 2ac0ad13f into 9e48bddc2 Pull #209 web-flow travis-ci-com
6.84
1050 main Merge 7acc8c5de into 9e48bddc2 Pull #209 web-flow travis-ci-com
6.84
1049 main Merge 6d902db3d into 9e48bddc2 Pull #209 web-flow travis-ci-com
6.84
1047 main Merge 8634f641c into 9e48bddc2 Pull #209 web-flow travis-ci-com
85.89
1039 master Create cmake.yml (#208) * Create cmake.yml * Update cmake.yml push web-flow travis-ci-com
86.16
1038 Setup-GitHub-Action Merge 9d017b2d1 into 5ec5ff4c7 Pull #208 web-flow travis-ci-com
86.16
1037 Setup-GitHub-Action Merge 0ccbf3d02 into 5ec5ff4c7 Pull #208 web-flow travis-ci-com
86.16
1036 master Merge pull request #206 from zhanghongce/smtparser-bugfix SMT-LIB2 Parser Bug Fix push web-flow travis-ci-com
86.16
See All Builds (689)