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

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

Pull #15

travis-ci

mtrberzi 
use bufferedwriter
Pull Request #15: Generate SMT2 expressions for digital circuits

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

566 of 745 relevant lines covered (75.97%)

0.76 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
100.0
 src/main/java/org/manifold/compiler/back/digital/PrimitiveTypeTable.java
4
100.0
 src/main/java/org/manifold/compiler/back/digital/smt2/ParenList.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/QFABV.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/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/VHDLCodeGenerator.java
4
100.0
 src/main/java/org/manifold/compiler/back/digital/CodeGenerationError.java
Jobs
ID Job ID Ran Files Coverage
1 23.1 (TERM=dumb) 0
75.97
 Travis Job 23.1
Source Files on build 23
Detailed source file information is not available for this build.