34
34%

Ran 09 Mar 2015 11:05PM UTC

Jobs 1

Files 219

Run time 32min

Badge

Embed ▾

pending completion

Build # 34

Build Type

push

travis-ci

Committed by

gebner

Commit Message

Revert back to specs2 2.4.17 since the junitxml reporter doesn't seem to work with 3.0.

Run Details

7634 of 22421 relevant lines covered (34.05%)

0.34 hits per line

Uncovered Existing Lines

Lines	Coverage	File
1	100.0	src/main/scala/at/logic/transformations/ceres/Struct.scala
1	100.0	src/main/scala/at/logic/transformations/ceres/ProjectionTerm.scala
1	100.0	src/main/scala/at/logic/algorithms/resolution/PCNF.scala
1	100.0	src/main/scala/at/logic/calculi/lk/definitionRules.scala
1	100.0	src/main/scala/at/logic/algorithms/llk/HybridLatexExporter.scala
1	100.0	src/main/scala/at/logic/algorithms/lksk/substitution.scala
1	100.0	src/main/scala/at/logic/language/fol/utils.scala
1	100.0	src/main/scala/at/logic/parsing/language/simple/SimpleHOLParser.scala
1	100.0	src/main/scala/at/logic/algorithms/resolution/fixDerivation.scala
1	100.0	src/main/scala/at/logic/algorithms/fol/hol2fol.scala
1	100.0	src/main/scala/at/logic/transformations/ceres/clauseSchema.scala
1	100.0	src/main/scala/at/logic/language/fol/fol.scala
1	100.0	src/main/scala/at/logic/algorithms/lk/substitution.scala
1	100.0	src/main/scala/at/logic/algorithms/lk/lk.scala
1	100.0	src/main/scala/at/logic/parsing/language/prover9/Prover9TermParser.scala
1	100.0	src/main/scala/at/logic/transformations/skolemization/skolemization.scala
1	100.0	src/main/scala/at/logic/parsing/ivy/Ivy.scala
1	100.0	src/main/scala/at/logic/provers/maxsat/MaxSAT.scala
1	100.0	src/main/scala/at/logic/transformations/herbrandExtraction/lksk/extractExpansionTrees.scala
1	100.0	src/main/scala/at/logic/utils/logging/Logger.scala
1	100.0	src/main/scala/at/logic/algorithms/rewriting/definition_elimination.scala
1	100.0	src/main/scala/at/logic/algorithms/rewriting/name_replacement.scala
1	100.0	src/main/scala/at/logic/provers/prover9/Prover9.scala
2	100.0	src/main/scala/at/logic/parsing/language/tptp/TPTPHOLExporter.scala
2	100.0	src/main/scala/at/logic/algorithms/rewriting/TermReplacement.scala
2	100.0	src/main/scala/at/logic/transformations/ceres/projections.scala
2	100.0	src/main/scala/at/logic/language/lambda/typedLambdaCalculus.scala
2	100.0	src/main/scala/at/logic/provers/atp/Prover.scala
2	100.0	src/main/scala/at/logic/algorithms/rewriting/lk.scala
3	100.0	src/main/scala/at/logic/algorithms/lk/solve.scala
3	100.0	src/main/scala/at/logic/calculi/slk/slk.scala
3	100.0	src/main/scala/at/logic/parsing/language/xml/XMLParser.scala
5	100.0	src/main/scala/at/logic/algorithms/resolution/InstantiateElimination.scala
5	100.0	src/main/scala/at/logic/provers/prover9/IvyToRobinson.scala
6	100.0	src/main/scala/at/logic/calculi/expansionTrees/expansionTrees.scala
13	100.0	src/main/scala/at/logic/calculi/lk/equationalRules.scala
13	100.0	src/main/scala/at/logic/calculi/lk/macroRules.scala
17	100.0	src/main/scala/at/logic/parsing/shlk/sFOparserCNT.scala
23	100.0	src/main/scala/at/logic/algorithms/llk/TokenToLKConverter.scala
50	100.0	src/main/scala/at/logic/algorithms/cutIntroduction/CutIntroduction.scala
82	100.0	src/main/scala/at/logic/calculi/lk/propositionalRules.scala
93	100.0	src/main/scala/at/logic/algorithms/cutIntroduction/TreeGrammarDecomposition.scala

Jobs

ID	Job ID	Ran	Files	Coverage
1	34.1	09 Mar 2015 11:05PM UTC	0	34.05	Travis Job 34.1

Source Files on build 34

Detailed source file information is not available for this build.

newca12 / gapt / 34
34%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 34

newca12 / gapt / 34 34%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 34

newca12 / gapt / 34
34%

README BADGES
x