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

LAST BUILD BRANCH: 0.6
DEFAULT BRANCH: master
Ran
Jobs 2
Files 169
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
25

push

travis-ci

martinschaef 
Merge branch 'devel'

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
85.71
 src/main/java/bixie/boogie/ast/ASTNode.java
1
0.0
 src/main/java/bixie/boogie/ast/BoogieSymbol.java
1
0.0
 src/main/java/bixie/boogie/parser/LexerSymbols.java
1
73.91
 src/main/java/bixie/translation/soot/SootPrelude.java
1
42.96
 src/main/java/bixie/translation/soot/SootRunner.java
2
88.89
 src/main/java/bixie/boogie/controlflow/statement/CfgAssumeStatement.java
2
98.23
 src/main/java/bixie/boogie/controlflow/util/LoopDetection.java
2
81.82
 src/main/java/bixie/boogie/typechecker/VariableInfo.java
3
40.0
 src/main/java/bixie/boogie/ast/Attribute.java
3
70.0
 src/main/java/bixie/boogie/ast/statement/Statement.java
3
86.96
 src/main/java/bixie/boogie/controlflow/expression/CfgIdentifierExpression.java
3
88.79
 src/main/java/bixie/checker/transition_relation/AbstractTransitionRelation.java
4
63.64
 src/main/java/bixie/boogie/controlflow/expression/CfgExpression.java
4
0.0
 src/main/java/bixie/boogie/controlflow/expression/CfgWildcardExpression.java
4
95.6
 src/main/java/bixie/boogie/controlflow/util/HasseDiagram.java
5
73.33
 src/main/java/bixie/Options.java
5
0.0
 src/main/java/bixie/boogie/ast/statement/YieldStatement.java
5
50.0
 src/main/java/bixie/boogie/controlflow/CfgParentEdge.java
5
50.0
 src/main/java/bixie/boogie/controlflow/expression/CfgBooleanLiteral.java
5
50.0
 src/main/java/bixie/boogie/controlflow/expression/CfgIntegerLiteral.java
5
61.54
 src/main/java/bixie/boogie/typechecker/FunctionInfo.java
6
57.14
 src/main/java/bixie/boogie/ast/asttypes/PrimitiveAstType.java
6
94.64
 src/main/java/bixie/boogie/typechecker/ModifiesClauseConstruction.java
7
36.36
 src/main/java/bixie/boogie/ast/declaration/Axiom.java
7
0.0
 src/main/java/bixie/boogie/ast/expression/CodeExpression.java
7
36.36
 src/main/java/bixie/boogie/ast/statement/Label.java
7
22.22
 src/main/java/bixie/boogie/ast/statement/ReturnStatement.java
7
0.0
 src/main/java/bixie/boogie/controlflow/expression/CfgBitvecLiteral.java
7
0.0
 src/main/java/bixie/boogie/controlflow/expression/CfgRealLiteral.java
7
0.0
 src/main/java/bixie/boogie/controlflow/expression/CfgStringLiteral.java
8
50.0
 src/main/java/bixie/boogie/ast/declaration/ProcedureOrImplementationDeclaration.java
8
50.0
 src/main/java/bixie/boogie/ast/expression/Expression.java
8
46.67
 src/main/java/bixie/boogie/ast/specification/Specification.java
8
0.0
 src/main/java/bixie/boogie/ast/statement/ParallelCall.java
8
73.33
 src/main/java/bixie/boogie/controlflow/statement/CfgAssignStatement.java
8
0.0
 src/main/java/bixie/boogie/typechecker/TypeCheckException.java
9
40.0
 src/main/java/bixie/boogie/ast/ParentEdge.java
9
0.0
 src/main/java/bixie/boogie/ast/expression/WildcardExpression.java
9
43.75
 src/main/java/bixie/boogie/ast/expression/literal/BooleanLiteral.java
9
43.75
 src/main/java/bixie/boogie/ast/expression/literal/IntegerLiteral.java
9
67.86
 src/main/java/bixie/boogie/controlflow/CfgVariable.java
9
77.5
 src/main/java/bixie/boogie/parser/BoogieSymbolFactory.java
9
52.63
 src/main/java/bixie/boogie/type/PrimitiveType.java
9
73.53
 src/main/java/bixie/boogie/type/TypeParameters.java
10
28.57
 src/main/java/bixie/boogie/ast/VariableLHS.java
10
33.33
 src/main/java/bixie/boogie/ast/asttypes/ASTType.java
10
62.96
 src/main/java/bixie/boogie/ast/asttypes/NamedAstType.java
10
28.57
 src/main/java/bixie/boogie/ast/specification/EnsuresSpecification.java
10
28.57
 src/main/java/bixie/boogie/ast/statement/AssertStatement.java
10
28.57
 src/main/java/bixie/boogie/ast/statement/AssumeStatement.java
10
33.33
 src/main/java/bixie/boogie/controlflow/CfgAxiom.java
11
26.67
 src/main/java/bixie/boogie/ast/LeftHandSide.java
11
50.0
 src/main/java/bixie/boogie/controlflow/expression/CfgArrayAccessExpression.java
11
0.0
 src/main/java/bixie/boogie/controlflow/expression/CfgBitVectorAccessExpression.java
11
50.0
 src/main/java/bixie/boogie/controlflow/statement/CfgHavocStatement.java
12
25.0
 src/main/java/bixie/boogie/ast/expression/literal/StringLiteral.java
12
33.33
 src/main/java/bixie/boogie/controlflow/statement/CfgAssertStatement.java
12
53.85
 src/main/java/bixie/boogie/type/TypeConstructor.java
13
55.29
 src/main/java/bixie/Main.java
13
35.0
 src/main/java/bixie/boogie/ast/expression/IdentifierExpression.java
13
43.48
 src/main/java/bixie/boogie/ast/expression/UnaryExpression.java
13
0.0
 src/main/java/bixie/boogie/ast/statement/BreakStatement.java
13
43.48
 src/main/java/bixie/boogie/controlflow/expression/CfgFunctionApplication.java
14
30.0
 src/main/java/bixie/boogie/ast/Unit.java
14
22.22
 src/main/java/bixie/boogie/ast/declaration/Declaration.java
14
26.32
 src/main/java/bixie/boogie/ast/declaration/VariableDeclaration.java
14
0.0
 src/main/java/bixie/boogie/ast/specification/LoopInvariantSpecification.java
14
22.22
 src/main/java/bixie/boogie/ast/specification/ModifiesSpecification.java
14
0.0
 src/main/java/bixie/boogie/ast/specification/RequiresSpecification.java
14
22.22
 src/main/java/bixie/boogie/ast/statement/GotoStatement.java
14
50.0
 src/main/java/bixie/boogie/controlflow/expression/CfgArrayStoreExpression.java
15
70.43
 src/main/java/bixie/translation/soot/TranslationHelpers.java
16
58.97
 src/main/java/bixie/boogie/ast/asttypes/ArrayAstType.java
16
0.0
 src/main/java/bixie/boogie/ast/expression/literal/RealLiteral.java
16
30.43
 src/main/java/bixie/boogie/controlflow/expression/CfgUnaryExpression.java
16
76.12
 src/main/java/bixie/boogie/type/BoogieType.java
17
26.09
 src/main/java/bixie/boogie/ast/NamedAttribute.java
17
19.05
 src/main/java/bixie/boogie/ast/statement/HavocStatement.java
18
0.0
 src/main/java/bixie/boogie/ast/Project.java
18
0.0
 src/main/java/bixie/boogie/ast/Trigger.java
19
40.63
 src/main/java/bixie/boogie/ast/expression/BinaryExpression.java
19
29.63
 src/main/java/bixie/boogie/controlflow/expression/CfgIfThenElseExpression.java
20
28.57
 src/main/java/bixie/boogie/ast/location/BoogieLocation.java
20
33.33
 src/main/java/bixie/boogie/controlflow/expression/CfgQuantifierExpression.java
21
32.26
 src/main/java/bixie/boogie/ast/declaration/ConstDeclaration.java
21
0.0
 src/main/java/bixie/boogie/ast/expression/literal/BitvecLiteral.java
22
45.0
 src/main/java/bixie/boogie/ast/VarList.java
22
35.29
 src/main/java/bixie/boogie/type/FunctionSignature.java
23
28.13
 src/main/java/bixie/boogie/typechecker/ProcedureInfo.java
24
20.0
 src/main/java/bixie/boogie/ast/statement/AssignmentStatement.java
26
18.75
 src/main/java/bixie/boogie/ast/Body.java
26
27.78
 src/main/java/bixie/boogie/ast/declaration/TypeDeclaration.java
26
23.53
 src/main/java/bixie/boogie/ast/expression/IfThenElseExpression.java
27
0.0
 src/main/java/bixie/boogie/ast/ArrayLHS.java
27
27.03
 src/main/java/bixie/boogie/ast/expression/ArrayAccessExpression.java
27
22.86
 src/main/java/bixie/boogie/ast/statement/IfStatement.java
28
64.56
 src/main/java/bixie/boogie/controlflow/BasicBlock.java
28
51.72
 src/main/java/bixie/boogie/controlflow/expression/CfgBinaryExpression.java
28
60.0
 src/main/java/bixie/boogie/controlflow/util/LoopInfo.java
29
17.14
 src/main/java/bixie/boogie/ast/expression/FunctionApplication.java
29
38.3
 src/main/java/bixie/boogie/controlflow/CfgFunction.java
30
0.0
 src/main/java/bixie/boogie/ast/expression/BitVectorAccessExpression.java
33
19.51
 src/main/java/bixie/boogie/controlflow/statement/CfgCallStatement.java
35
18.6
 src/main/java/bixie/boogie/ast/expression/ArrayStoreExpression.java
35
27.08
 src/main/java/bixie/boogie/ast/statement/CallStatement.java
35
0.0
 src/main/java/bixie/boogie/ast/statement/WhileStatement.java
35
73.68
 src/main/java/bixie/boogie/typechecker/TypeManager.java
37
24.49
 src/main/java/bixie/boogie/ast/declaration/FunctionDeclaration.java
39
51.25
 src/main/java/bixie/boogie/type/ConstructedType.java
41
16.33
 src/main/java/bixie/boogie/ast/declaration/Implementation.java
41
16.33
 src/main/java/bixie/boogie/ast/declaration/ProcedureDeclaration.java
46
37.84
 src/main/java/bixie/boogie/type/PlaceholderType.java
58
17.14
 src/main/java/bixie/boogie/ast/expression/QuantifierExpression.java
58
29.27
 src/main/java/bixie/boogie/controlflow/util/PartialBlockOrderNode.java
64
39.62
 src/main/java/bixie/boogie/type/ArrayType.java
86
67.91
 src/main/java/bixie/boogie/controlflow/AbstractControlFlowFactory.java
91
44.51
 src/main/java/bixie/boogie/type/UnifyHash.java
94
77.24
 src/main/java/bixie/boogie/ProgramFactory.java
123
61.2
 src/main/java/bixie/boogie/controlflow/DefaultControlFlowFactory.java
161
40.37
 src/main/java/bixie/boogie/controlflow/CfgProcedure.java
191
50.9
 src/main/java/bixie/boogie/parser/Lexer.java
202
0.0
 src/main/java/bixie/checker/reportprinter/HtmlReportPrinter.java
217
68.18
 src/main/java/bixie/boogie/typechecker/TypeChecker.java
835
34.3
 src/main/java/bixie/boogie/parser/Parser.java
Jobs
ID Job ID Ran Files Coverage
1 25.1 169
60.96
 Travis Job 25.1
2 25.2 169
60.39
 Travis Job 25.2
Source Files on build 25
Coverage ∆ File Lines Relevant Covered Missed Hits/Line