Repo Added
|
Files
272
|
Badge
Embed ▾
README BADGES
|
push
wercker
12213 of 12668 relevant lines covered (96.41%)
0.96 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
5ceb9792... | feature/removal-transformations | minor javadoc improvement | push | Rouven Walter | wercker | pending completion | |
5cdfe9a1... | feature/removal-transformations | added transformations for tautology and contradiction removal + tests | push | Rouven Walter | wercker | pending completion |