32
34%
master: 34%

Ran 04 Mar 2015 10:31PM UTC

Jobs 1

Files 219

Run time 19s

Badge

Embed ▾

pending completion

Build # 32

Build Type

push

travis-ci

Committed by

newca12

Commit Message

Code reformatting

Run Details

7664 of 22437 relevant lines covered (34.16%)

0.34 hits per line

Uncovered Existing Lines

Lines	Coverage	File
1	100.0	src/main/scala/at/logic/calculi/lk/definitionRules.scala
1	100.0	src/main/scala/at/logic/calculi/lk/quantificationRules.scala
1	100.0	src/main/scala/at/logic/calculi/resolution/ral.scala
1	100.0	src/main/scala/at/logic/language/hol.scala
1	100.0	src/main/scala/at/logic/language/lambda/BetaReduction.scala
1	100.0	src/main/scala/at/logic/parsing/language/hlk/HOLParser.scala
1	100.0	src/main/scala/at/logic/parsing/language/tptp/TPTPFOLExporter.scala
1	100.0	src/main/scala/at/logic/provers/atp/Prover.scala
1	100.0	src/main/scala/at/logic/provers/minisat/MiniSAT.scala
1	100.0	src/main/scala/at/logic/provers/vampire/vampire.scala
1	100.0	src/main/scala/at/logic/utils/logging/Logger.scala
1	100.0	src/main/scala/at/logic/utils/patterns/listeners.scala
2	100.0	src/main/scala/at/logic/calculi/resolution/robinson.scala
2	100.0	src/main/scala/at/logic/calculi/slk/slk.scala
2	100.0	src/main/scala/at/logic/language/fol/utils.scala
2	100.0	src/main/scala/at/logic/parsing/language/xml/XMLParser.scala
2	100.0	src/main/scala/at/logic/parsing/veriT/VeriTParser.scala
2	100.0	src/main/scala/at/logic/transformations/ceres/clauseSchema.scala
2	100.0	src/main/scala/at/logic/transformations/herbrandExtraction/expansionTrees.scala
2	100.0	src/main/scala/at/logic/utils/ds/streams.scala
4	100.0	src/main/scala/at/logic/parsing/language/tptp/TPTPHOLExporter.scala
4	100.0	src/main/scala/at/logic/provers/prover9/IvyToRobinson.scala
5	100.0	src/main/scala/at/logic/transformations/ceres/projections.scala
5	100.0	src/main/scala/at/logic/transformations/skolemization/skolemization.scala
8	100.0	src/main/scala/at/logic/calculi/lk/propositionalRules.scala
10	100.0	src/main/scala/at/logic/parsing/ivy/Ivy.scala
11	100.0	src/main/scala/at/logic/calculi/lk/equationalRules.scala
12	100.0	src/main/scala/at/logic/provers/veriT/VeriTProver.scala
13	100.0	src/main/scala/at/logic/calculi/lk/macroRules.scala
16	100.0	src/main/scala/at/logic/parsing/shlk/sFOparserCNT.scala
73	100.0	src/main/scala/at/logic/calculi/expansionTrees/expansionTrees.scala

Jobs

ID	Job ID	Ran	Files	Coverage
1	32.1	04 Mar 2015 10:31PM UTC	0	34.16	Travis Job 32.1

Source Files on build 32

Detailed source file information is not available for this build.

newca12 / gapt / 32
34%
master: 34%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 32

newca12 / gapt / 32 34% master: 34%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 32

newca12 / gapt / 32
34%
master: 34%

README BADGES
x