25
61%
master: 61%

Ran 09 Nov 2015 02:41AM UTC

Jobs 2

Files 169

Run time 1min

Badge

Embed ▾

pending completion

Build # 25

Build Type

push

travis-ci

Committed by

martinschaef

Commit Message

Merge branch 'devel'

Run Details

7246 of 7246 new or added lines in 133 files covered. (100.0%)

7468 of 12221 relevant lines covered (61.11%)

1.18 hits per line

New Missed Lines in Diff

Lines	Coverage	File
1	100.0	src/main/java/bixie/boogie/ast/ASTNode.java
1	100.0	src/main/java/bixie/boogie/ast/BoogieSymbol.java
1	100.0	src/main/java/bixie/boogie/parser/LexerSymbols.java
1	100.0	src/main/java/bixie/translation/soot/SootPrelude.java
1	100.0	src/main/java/bixie/translation/soot/SootRunner.java
2	100.0	src/main/java/bixie/boogie/controlflow/statement/CfgAssumeStatement.java
2	100.0	src/main/java/bixie/boogie/controlflow/util/LoopDetection.java
2	100.0	src/main/java/bixie/boogie/typechecker/VariableInfo.java
3	100.0	src/main/java/bixie/boogie/ast/Attribute.java
3	100.0	src/main/java/bixie/boogie/ast/statement/Statement.java
3	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgIdentifierExpression.java
3	100.0	src/main/java/bixie/checker/transition_relation/AbstractTransitionRelation.java
4	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgExpression.java
4	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgWildcardExpression.java
4	100.0	src/main/java/bixie/boogie/controlflow/util/HasseDiagram.java
5	100.0	src/main/java/bixie/Options.java
5	100.0	src/main/java/bixie/boogie/ast/statement/YieldStatement.java
5	100.0	src/main/java/bixie/boogie/controlflow/CfgParentEdge.java
5	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgBooleanLiteral.java
5	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgIntegerLiteral.java
5	100.0	src/main/java/bixie/boogie/typechecker/FunctionInfo.java
6	100.0	src/main/java/bixie/boogie/ast/asttypes/PrimitiveAstType.java
6	100.0	src/main/java/bixie/boogie/typechecker/ModifiesClauseConstruction.java
7	100.0	src/main/java/bixie/boogie/ast/declaration/Axiom.java
7	100.0	src/main/java/bixie/boogie/ast/expression/CodeExpression.java
7	100.0	src/main/java/bixie/boogie/ast/statement/Label.java
7	100.0	src/main/java/bixie/boogie/ast/statement/ReturnStatement.java
7	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgBitvecLiteral.java
7	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgRealLiteral.java
7	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgStringLiteral.java
8	100.0	src/main/java/bixie/boogie/ast/declaration/ProcedureOrImplementationDeclaration.java
8	100.0	src/main/java/bixie/boogie/ast/expression/Expression.java
8	100.0	src/main/java/bixie/boogie/ast/specification/Specification.java
8	100.0	src/main/java/bixie/boogie/ast/statement/ParallelCall.java
8	100.0	src/main/java/bixie/boogie/controlflow/statement/CfgAssignStatement.java
8	100.0	src/main/java/bixie/boogie/typechecker/TypeCheckException.java
9	100.0	src/main/java/bixie/boogie/ast/ParentEdge.java
9	100.0	src/main/java/bixie/boogie/ast/expression/WildcardExpression.java
9	100.0	src/main/java/bixie/boogie/ast/expression/literal/BooleanLiteral.java
9	100.0	src/main/java/bixie/boogie/ast/expression/literal/IntegerLiteral.java
9	100.0	src/main/java/bixie/boogie/controlflow/CfgVariable.java
9	100.0	src/main/java/bixie/boogie/parser/BoogieSymbolFactory.java
9	100.0	src/main/java/bixie/boogie/type/PrimitiveType.java
9	100.0	src/main/java/bixie/boogie/type/TypeParameters.java
10	100.0	src/main/java/bixie/boogie/ast/VariableLHS.java
10	100.0	src/main/java/bixie/boogie/ast/asttypes/ASTType.java
10	100.0	src/main/java/bixie/boogie/ast/asttypes/NamedAstType.java
10	100.0	src/main/java/bixie/boogie/ast/specification/EnsuresSpecification.java
10	100.0	src/main/java/bixie/boogie/ast/statement/AssertStatement.java
10	100.0	src/main/java/bixie/boogie/ast/statement/AssumeStatement.java
10	100.0	src/main/java/bixie/boogie/controlflow/CfgAxiom.java
11	100.0	src/main/java/bixie/boogie/ast/LeftHandSide.java
11	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgArrayAccessExpression.java
11	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgBitVectorAccessExpression.java
11	100.0	src/main/java/bixie/boogie/controlflow/statement/CfgHavocStatement.java
12	100.0	src/main/java/bixie/boogie/ast/expression/literal/StringLiteral.java
12	100.0	src/main/java/bixie/boogie/controlflow/statement/CfgAssertStatement.java
12	100.0	src/main/java/bixie/boogie/type/TypeConstructor.java
13	100.0	src/main/java/bixie/Main.java
13	100.0	src/main/java/bixie/boogie/ast/expression/IdentifierExpression.java
13	100.0	src/main/java/bixie/boogie/ast/expression/UnaryExpression.java
13	100.0	src/main/java/bixie/boogie/ast/statement/BreakStatement.java
13	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgFunctionApplication.java
14	100.0	src/main/java/bixie/boogie/ast/Unit.java
14	100.0	src/main/java/bixie/boogie/ast/declaration/Declaration.java
14	100.0	src/main/java/bixie/boogie/ast/declaration/VariableDeclaration.java
14	100.0	src/main/java/bixie/boogie/ast/specification/LoopInvariantSpecification.java
14	100.0	src/main/java/bixie/boogie/ast/specification/ModifiesSpecification.java
14	100.0	src/main/java/bixie/boogie/ast/specification/RequiresSpecification.java
14	100.0	src/main/java/bixie/boogie/ast/statement/GotoStatement.java
14	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgArrayStoreExpression.java
15	100.0	src/main/java/bixie/translation/soot/TranslationHelpers.java
16	100.0	src/main/java/bixie/boogie/ast/asttypes/ArrayAstType.java
16	100.0	src/main/java/bixie/boogie/ast/expression/literal/RealLiteral.java
16	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgUnaryExpression.java
16	100.0	src/main/java/bixie/boogie/type/BoogieType.java
17	100.0	src/main/java/bixie/boogie/ast/NamedAttribute.java
17	100.0	src/main/java/bixie/boogie/ast/statement/HavocStatement.java
18	100.0	src/main/java/bixie/boogie/ast/Project.java
18	100.0	src/main/java/bixie/boogie/ast/Trigger.java
19	100.0	src/main/java/bixie/boogie/ast/expression/BinaryExpression.java
19	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgIfThenElseExpression.java
20	100.0	src/main/java/bixie/boogie/ast/location/BoogieLocation.java
20	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgQuantifierExpression.java
21	100.0	src/main/java/bixie/boogie/ast/declaration/ConstDeclaration.java
21	100.0	src/main/java/bixie/boogie/ast/expression/literal/BitvecLiteral.java
22	100.0	src/main/java/bixie/boogie/ast/VarList.java
22	100.0	src/main/java/bixie/boogie/type/FunctionSignature.java
23	100.0	src/main/java/bixie/boogie/typechecker/ProcedureInfo.java
24	100.0	src/main/java/bixie/boogie/ast/statement/AssignmentStatement.java
26	100.0	src/main/java/bixie/boogie/ast/Body.java
26	100.0	src/main/java/bixie/boogie/ast/declaration/TypeDeclaration.java
26	100.0	src/main/java/bixie/boogie/ast/expression/IfThenElseExpression.java
27	100.0	src/main/java/bixie/boogie/ast/ArrayLHS.java
27	100.0	src/main/java/bixie/boogie/ast/expression/ArrayAccessExpression.java
27	100.0	src/main/java/bixie/boogie/ast/statement/IfStatement.java
28	100.0	src/main/java/bixie/boogie/controlflow/BasicBlock.java
28	100.0	src/main/java/bixie/boogie/controlflow/expression/CfgBinaryExpression.java
28	100.0	src/main/java/bixie/boogie/controlflow/util/LoopInfo.java
29	100.0	src/main/java/bixie/boogie/ast/expression/FunctionApplication.java
29	100.0	src/main/java/bixie/boogie/controlflow/CfgFunction.java
30	100.0	src/main/java/bixie/boogie/ast/expression/BitVectorAccessExpression.java
33	100.0	src/main/java/bixie/boogie/controlflow/statement/CfgCallStatement.java
35	100.0	src/main/java/bixie/boogie/ast/expression/ArrayStoreExpression.java
35	100.0	src/main/java/bixie/boogie/ast/statement/CallStatement.java
35	100.0	src/main/java/bixie/boogie/ast/statement/WhileStatement.java
35	100.0	src/main/java/bixie/boogie/typechecker/TypeManager.java
37	100.0	src/main/java/bixie/boogie/ast/declaration/FunctionDeclaration.java
39	100.0	src/main/java/bixie/boogie/type/ConstructedType.java
41	100.0	src/main/java/bixie/boogie/ast/declaration/Implementation.java
41	100.0	src/main/java/bixie/boogie/ast/declaration/ProcedureDeclaration.java
46	100.0	src/main/java/bixie/boogie/type/PlaceholderType.java
58	100.0	src/main/java/bixie/boogie/ast/expression/QuantifierExpression.java
58	100.0	src/main/java/bixie/boogie/controlflow/util/PartialBlockOrderNode.java
64	100.0	src/main/java/bixie/boogie/type/ArrayType.java
86	100.0	src/main/java/bixie/boogie/controlflow/AbstractControlFlowFactory.java
91	100.0	src/main/java/bixie/boogie/type/UnifyHash.java
94	100.0	src/main/java/bixie/boogie/ProgramFactory.java
123	100.0	src/main/java/bixie/boogie/controlflow/DefaultControlFlowFactory.java
161	100.0	src/main/java/bixie/boogie/controlflow/CfgProcedure.java
191	100.0	src/main/java/bixie/boogie/parser/Lexer.java
202	100.0	src/main/java/bixie/checker/reportprinter/HtmlReportPrinter.java
217	100.0	src/main/java/bixie/boogie/typechecker/TypeChecker.java
835	100.0	src/main/java/bixie/boogie/parser/Parser.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	25.1	09 Nov 2015 02:43AM UTC	0	60.96	Travis Job 25.1
2	25.2	09 Nov 2015 02:41AM UTC	0	60.39	Travis Job 25.2

Source Files on build 25

Detailed source file information is not available for this build.

SRI-CSL / bixie / 25
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 25

SRI-CSL / bixie / 25 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 25

SRI-CSL / bixie / 25
61%
master: 61%

README BADGES
x