• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

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

Build:
Build:
LAST BUILD BRANCH: 0.6
DEFAULT BRANCH: master
Ran 09 Nov 2015 02:41AM UTC
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

pending completion
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
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.
  • Back to Repo
  • Travis Build #25
  • ebca817d on github
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc