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
86.67
 src/main/java/org/manifold/compiler/back/digital/PrimitiveTypeTable.java
5
55.56
 src/main/java/org/manifold/compiler/back/digital/smt2/QFABV.java
6
0.0
 src/main/java/org/manifold/compiler/back/digital/smt2/Bitstring.java
6
50.0
 src/main/java/org/manifold/compiler/back/digital/smt2/Numeral.java
6
14.29
 src/main/java/org/manifold/compiler/back/digital/smt2/SExpression.java
7
66.67
 src/main/java/org/manifold/compiler/back/digital/smt2/ParenList.java
7
30.0
 src/main/java/org/manifold/compiler/back/digital/smt2/Symbol.java
17
78.18
 -9.75% src/main/java/org/manifold/compiler/back/digital/DigitalBackend.java
75
52.83
 src/main/java/org/manifold/compiler/back/digital/SMT2CodeGenerator.java

Uncovered Existing Lines

Lines Coverage ∆ File
1
78.18
 -9.75% src/main/java/org/manifold/compiler/back/digital/DigitalBackend.java
3
91.19
 1.6% src/main/java/org/manifold/compiler/back/digital/VHDLCodeGenerator.java
4
0.0
 -100.0% src/main/java/org/manifold/compiler/back/digital/CodeGenerationError.java
Jobs
ID Job ID Ran Files Coverage
1 22.1 (TERM=dumb) 16
74.87
 Travis Job 22.1
Source Files on build 22
Coverage ∆ File Lines Relevant Covered Missed Hits/Line