46
36%
master: 34%

Ran 03 May 2015 07:29AM UTC

Jobs 1

Files 236

Run time 17s

Badge

Embed ▾

pending completion

Build # 46

Build Type

push

travis-ci

Committed by

newca12

Commit Message

Allow local publication

Run Details

8349 of 23509 relevant lines covered (35.51%)

0.36 hits per line

Uncovered Existing Lines

Lines	Coverage	File
1	100.0	src/main/scala/at/logic/gapt/algorithms/rewriting/definition_elimination.scala
1	100.0	src/main/scala/at/logic/gapt/algorithms/rewriting/name_replacement.scala
1	100.0	src/main/scala/at/logic/gapt/formats/llk/HybridLatexParser.scala
1	100.0	src/main/scala/at/logic/gapt/formats/simple/SimpleHOLParser.scala
1	100.0	src/main/scala/at/logic/gapt/formats/tptp/TPTPHOLExporter.scala
1	100.0	src/main/scala/at/logic/gapt/language/lambda/typedLambdaCalculus.scala
1	100.0	src/main/scala/at/logic/gapt/language/schema/schema.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/ceres/StandardClauseSet.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/herbrandExtraction/expansionTrees.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/herbrandExtraction/lksk/extractExpansionTrees.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/expansionTrees/algorithms/minimal.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/cutIntroduction/DeltaTable.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/subsumption/StillmanSubsumptionAlgorithm.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/Util.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/lk/quantificationRules.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/resolution/algorithms/PCNF.scala
1	100.0	src/main/scala/at/logic/gapt/proofs/resolution/ral.scala
1	100.0	src/main/scala/at/logic/gapt/provers/atp/Prover.scala
1	100.0	src/main/scala/at/logic/gapt/provers/basicProver/BasicProver.scala
1	100.0	src/main/scala/at/logic/gapt/utils/ds/streams.scala
1	100.0	src/main/scala/at/logic/gapt/utils/logging/Logger.scala
2	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/ceres/clauseSchema.scala
2	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/lk.scala
3	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/skolemization/lksk/lksk.scala
3	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/skolemization/skolemization.scala
3	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/cutIntroduction/ExtendedHerbrandSequent.scala
3	100.0	src/main/scala/at/logic/gapt/provers/sat4j/Sat4j.scala
4	100.0	src/main/scala/at/logic/gapt/formats/hlk/HOLParser.scala
4	100.0	src/main/scala/at/logic/gapt/proofs/algorithms/ceres/projections.scala
4	100.0	src/main/scala/at/logic/gapt/provers/prover9/IvyToRobinson.scala
5	100.0	src/main/scala/at/logic/gapt/formats/xml/XMLParser.scala
5	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/ReductiveCutElim.scala
6	100.0	src/main/scala/at/logic/gapt/language/fol/algorithms/FOLMatchingAlgorithm.scala
6	100.0	src/main/scala/at/logic/gapt/proofs/resolution/algorithms/InstantiateElimination.scala
8	100.0	src/main/scala/at/logic/gapt/formats/ivy/Ivy.scala
8	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/cutIntroduction/Deltas.scala
9	100.0	src/main/scala/at/logic/gapt/proofs/resolution/algorithms/CNF.scala
10	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/cutIntroduction/Grammar.scala
11	100.0	src/main/scala/at/logic/gapt/provers/maxsat/MaxSAT.scala
13	100.0	src/main/scala/at/logic/gapt/prooftool/DrawProof.scala
17	100.0	src/main/scala/at/logic/gapt/proofs/lk/base.scala
19	100.0	src/main/scala/at/logic/gapt/formats/shlk/sFOparserCNT.scala
22	100.0	src/main/scala/at/logic/gapt/language/hol/hol.scala
26	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/statistics.scala
27	100.0	src/main/scala/at/logic/gapt/language/fol/fol.scala
28	100.0	src/main/scala/at/logic/gapt/formats/veriT/VeriTParser.scala
35	100.0	src/main/scala/at/logic/gapt/provers/prover9/Prover9.scala
39	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/cutIntroduction/MinimizeSolution.scala
46	100.0	src/main/scala/at/logic/gapt/language/fol/algorithms/hol2fol.scala
48	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/interpolation.scala
50	100.0	src/main/scala/at/logic/gapt/proofs/resolution/algorithms/fixDerivation.scala
55	100.0	src/main/scala/at/logic/gapt/formats/llk/HybridLatexExporter.scala
65	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/cutIntroduction/CutIntroduction.scala
65	100.0	src/main/scala/at/logic/gapt/proofs/shlk/shlk.scala
68	100.0	src/main/scala/at/logic/gapt/proofs/lk/propositionalRules.scala
78	100.0	src/main/scala/at/logic/gapt/proofs/resolution/robinson.scala
88	100.0	src/main/scala/at/logic/gapt/proofs/expansionTrees/expansionTrees.scala
90	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/elimination.scala
119	100.0	src/main/scala/at/logic/gapt/formats/llk/TokenToLKConverter.scala
146	100.0	src/main/scala/at/logic/gapt/proofs/lk/equationalRules.scala
156	100.0	src/main/scala/at/logic/gapt/proofs/lk/macroRules.scala
161	100.0	src/main/scala/at/logic/gapt/proofs/lk/algorithms/solve.scala
267	100.0	src/main/scala/at/logic/gapt/cli/GAPScalaInteractiveShellLibrary.scala

Jobs

ID	Job ID	Ran	Files	Coverage
1	46.1	03 May 2015 07:29AM UTC	0	35.51	Travis Job 46.1

Source Files on build 46

Detailed source file information is not available for this build.

newca12 / gapt / 46
36%
master: 34%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 46

newca12 / gapt / 46 36% master: 34%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 46

newca12 / gapt / 46
36%
master: 34%

README BADGES
x