manifold-lang / manifold-backend-digital / 22
76%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 16
Run time 6s
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
22

Pull #15

travis-ci

mtrberzi 
smt2 code generation tests: OR
Pull Request #15: Generate SMT2 expressions for digital circuits

325 of 325 new or added lines in 10 files covered. (100.0%)

569 of 760 relevant lines covered (74.87%)

0.75 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
100.0
 src/main/java/org/manifold/compiler/back/digital/PrimitiveTypeTable.java
5
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/QFABV.java
6
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/Bitstring.java
6
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/Numeral.java
6
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/SExpression.java
7
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/ParenList.java
7
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/Symbol.java
17
100.0
 src/main/java/org/manifold/compiler/back/digital/DigitalBackend.java
75
100.0
 src/main/java/org/manifold/compiler/back/digital/SMT2CodeGenerator.java

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 src/main/java/org/manifold/compiler/back/digital/DigitalBackend.java
3
100.0
 src/main/java/org/manifold/compiler/back/digital/VHDLCodeGenerator.java
4
100.0
 src/main/java/org/manifold/compiler/back/digital/CodeGenerationError.java
Jobs
ID Job ID Ran Files Coverage
1 22.1 (TERM=dumb) 0
74.87
 Travis Job 22.1
Source Files on build 22
Detailed source file information is not available for this build.