ScorexFoundation / sigmastate-interpreter / 5107
34%
develop: 35%

LAST BUILD BRANCH: i324-typer-layer
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 239
Run time 23s
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
5107

Pull #689

travis-ci

web-flow 
Merge fb71404fe into bdad17e91
Pull Request #689: Avoid ClassCastException in kiama rewritings

20 of 20 new or added lines in 3 files covered. (100.0%)

5635 of 16548 relevant lines covered (34.05%)

0.34 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
46.03
 -0.45% sigmastate/src/main/scala/sigmastate/types.scala
2
43.69
 -5.08% sigmastate/src/main/scala/sigmastate/trees.scala
7
47.27
 6.85% sigmastate/src/main/scala/sigmastate/lang/SigmaParser.scala

Uncovered Existing Lines

Lines Coverage ∆ File
1
20.0
 12.0% common/src/main/scala/scalan/ExactIntegral.scala
1
20.0
 -20.0% library-impl/src/main/scala/special/collection/ConcreteSizes.scala
1
29.63
 3.7% library/src/main/scala/special/collection/ConcreteCostsUnit.scala
1
33.33
 -33.33% library/src/main/scala/special/collection/CostedOptionsUnit.scala
1
16.67
 3.7% library/src/main/scala/special/collection/impl/MonoidInstancesImpl.scala
1
7.14
 -7.14% sigma-impl/src/main/scala/special/sigma/Mocks.scala
1
33.33
 -33.33% sigma-impl/src/main/scala/special/sigma/TestContext.scala
1
16.67
 0.0% sigma-impl/src/main/scala/special/sigma/TestGroupElement.scala
1
50.0
 18.75% sigmastate/src/main/scala/org/ergoplatform/validation/SigmaValidationSettings.scala
1
40.0
 20.0% sigmastate/src/main/scala/sigmastate/interpreter/Hint.scala
1
50.0
 0.0% sigmastate/src/main/scala/sigmastate/lang/exceptions/Exceptions.scala
1
14.29
 -14.29% sigmastate/src/main/scala/sigmastate/lang/SigmaSpecializer.scala
1
50.0
 0.0% sigmastate/src/main/scala/sigmastate/lang/SourceContext.scala
1
80.0
 40.0% sigmastate/src/main/scala/sigmastate/serialization/BoolToSigmaPropSerializer.scala
1
0.0
 -50.0% sigmastate/src/main/scala/sigmastate/serialization/CaseObjectSerialization.scala
1
42.86
 0.0% sigmastate/src/main/scala/sigmastate/serialization/ConstantStore.scala
1
14.29
 -7.14% sigmastate/src/main/scala/sigmastate/serialization/CreateAvlTreeSerializer.scala
1
64.71
 17.65% sigmastate/src/main/scala/sigmastate/serialization/GroupElementSerializer.scala
1
0.0
 -25.0% sigmastate/src/main/scala/sigmastate/serialization/ModQSerializer.scala
1
33.33
 -33.33% sigmastate/src/main/scala/sigmastate/serialization/OneArgumentOperationSerializer.scala
1
50.0
 0.0% sigmastate/src/main/scala/sigmastate/serialization/OptionGetOrElseSerializer.scala
1
40.0
 0.0% sigmastate/src/main/scala/sigmastate/serialization/SigmaPropBytesSerializer.scala
1
50.0
 25.0% sigmastate/src/main/scala/sigmastate/serialization/SigmaPropIsProvenSerializer.scala
1
66.67
 16.67% sigmastate/src/main/scala/sigmastate/serialization/transformers/AtLeastSerializer.scala
1
33.33
 0.0% sigmastate/src/main/scala/sigmastate/serialization/transformers/FilterSerializer.scala
1
87.5
 12.5% sigmastate/src/main/scala/sigmastate/serialization/transformers/MapCollectionSerializer.scala
1
66.67
 -33.33% sigmastate/src/main/scala/sigmastate/serialization/transformers/SimpleTransformerSerializer.scala
1
37.5
 12.5% sigmastate/src/main/scala/sigmastate/serialization/TwoArgumentsSerializer.scala
2
33.33
 -8.33% common/src/main/scala/scalan/MutableLazy.scala
2
21.43
 -14.29% common/src/main/scala/scalan/OverloadHack.scala
2
50.0
 0.0% common/src/main/scala/scalan/util/MemoizedFunc.scala
2
26.09
 -4.35% common/src/main/scala/scalan/util/StringUtil.scala
2
38.89
 11.11% core/src/main/scala/scalan/primitives/NumericOps.scala
2
43.75
 6.25% core/src/main/scala/scalan/primitives/UnBinOps.scala
2
29.41
 5.88% library-api/src/main/scala/special/Types.scala
2
35.71
 7.14% library-api/src/main/scala/special/wrappers/WrappersSpec.scala
2
8.33
 2.08% library/src/main/scala/special/collection/impl/MonoidsImpl.scala
2
13.21
 1.89% library/src/main/scala/special/wrappers/impl/WrappersSpecImpl.scala
2
0.0
 -20.0% sigma-impl/src/main/scala/sigma/types/ConcreteTypes.scala
2
15.38
 -7.69% sigma-impl/src/main/scala/special/sigma/TestBigInt.scala
2
36.84
 5.26% sigmastate/src/main/scala/org/ergoplatform/dsl/StdContracts.scala
2
50.0
 0.0% sigmastate/src/main/scala/org/ergoplatform/settings/MonetarySettings.scala
2
50.0
 0.0% sigmastate/src/main/scala/org/ergoplatform/validation/RuleStatus.scala
2
69.23
 38.46% sigmastate/src/main/scala/org/ergoplatform/validation/SigmaValidationSettingsSerializer.scala
2
20.0
 -40.0% sigmastate/src/main/scala/org/ergoplatform/validation/SoftForkChecker.scala
2
21.88
 12.5% sigmastate/src/main/scala/sigmastate/eval/BigIntegerOps.scala
2
45.45
 0.0% sigmastate/src/main/scala/sigmastate/interpreter/InterpreterContext.scala
2
44.44
 0.0% sigmastate/src/main/scala/sigmastate/serialization/ApplySerializer.scala
2
66.67
 25.0% sigmastate/src/main/scala/sigmastate/serialization/BlockValueSerializer.scala
2
50.0
 8.33% sigmastate/src/main/scala/sigmastate/serialization/ConcreteCollectionSerializer.scala
2
42.86
 -14.29% sigmastate/src/main/scala/sigmastate/serialization/ConstantPlaceholderSerializer.scala
2
50.0
 0.0% sigmastate/src/main/scala/sigmastate/serialization/LogicalNotSerializer.scala
2
45.45
 0.0% sigmastate/src/main/scala/sigmastate/serialization/transformers/ByIndexSerializer.scala
2
54.55
 -9.09% sigmastate/src/main/scala/sigmastate/serialization/transformers/FoldSerializer.scala
2
20.0
 -40.0% sigmastate/src/main/scala/sigmastate/serialization/ValUseSerializer.scala
2
33.33
 0.0% sigmastate/src/main/scala/sigmastate/sigmastate.scala
3
20.0
 -20.0% common/src/main/scala/scalan/Lazy.scala
3
45.45
 0.0% common/src/main/scala/scalan/util/GraphUtil.scala
3
13.33
 -6.67% common/src/main/scala/scalan/util/ReflectionUtil.scala
3
25.0
 -37.5% common/src/main/scala/scalan/util/ScalaNameUtil.scala
3
30.77
 -15.38% core/src/main/scala/scalan/primitives/IfThenElse.scala
3
5.56
 -16.67% core/src/main/scala/scalan/primitives/UniversalOps.scala
3
16.22
 -5.41% library/src/main/scala/wrappers/special/impl/WSpecialPredefsImpl.scala
3
18.92
 0.0% sigma-api/src/main/scala/special/sigma/SigmaDsl.scala
3
27.27
 0.0% sigmastate/src/main/scala/org/ergoplatform/dsl/AvlTreeHelpers.scala
3
31.25
 -6.25% sigmastate/src/main/scala/org/ergoplatform/Input.scala
3
40.0
 -40.0% sigmastate/src/main/scala/org/ergoplatform/settings/ErgoAlgos.scala
3
35.71
 0.0% sigmastate/src/main/scala/sigmastate/eval/Extensions.scala
3
57.14
 -14.29% sigmastate/src/main/scala/sigmastate/eval/package.scala
3
46.15
 7.69% sigmastate/src/main/scala/sigmastate/interpreter/ProverResult.scala
3
58.82
 11.76% sigmastate/src/main/scala/sigmastate/interpreter/ProverUtils.scala
3
42.86
 -28.57% sigmastate/src/main/scala/sigmastate/lang/SigmaBinder.scala
3
37.5
 0.0% sigmastate/src/main/scala/sigmastate/lang/SigmaCompiler.scala
3
14.29
 -42.86% sigmastate/src/main/scala/sigmastate/serialization/ConstantSerializer.scala
3
41.18
 17.65% sigmastate/src/main/scala/sigmastate/serialization/PropertyCallSerializer.scala
3
37.5
 -12.5% sigmastate/src/main/scala/sigmastate/serialization/SelectFieldSerializer.scala
3
36.36
 -18.18% sigmastate/src/main/scala/sigmastate/serialization/SubstConstantsSerializer.scala
3
50.0
 -33.33% sigmastate/src/main/scala/sigmastate/serialization/TaggedVariableSerializer.scala
3
18.18
 -18.18% sigmastate/src/main/scala/sigmastate/serialization/transformers/DeserializeRegisterSerializer.scala
3
45.45
 -18.18% sigmastate/src/main/scala/sigmastate/serialization/transformers/SliceSerializer.scala
3
69.57
 34.78% sigmastate/src/main/scala/sigmastate/serialization/trees/Relation2Serializer.scala
4
57.69
 11.54% common/src/main/scala/scalan/ExactNumeric.scala
4
26.67
 0.0% library/src/main/scala/special/collection/impl/CostedOptionsImpl.scala
4
28.21
 -5.13% library/src/main/scala/wrappers/scalan/impl/WRTypesImpl.scala
4
33.33
 -22.22% sigmastate/src/main/scala/org/ergoplatform/ErgoLikeInterpreter.scala
4
41.38
 0.0% sigmastate/src/main/scala/sigmastate/basics/DLogProtocol.scala
4
51.35
 13.51% sigmastate/src/main/scala/sigmastate/eval/IRContext.scala
4
40.0
 -10.0% sigmastate/src/main/scala/sigmastate/interpreter/CryptoConstants.scala
4
50.0
 -8.33% sigmastate/src/main/scala/sigmastate/serialization/ConcreteCollectionBooleanConstantSerializer.scala
4
41.94
 6.45% sigmastate/src/main/scala/sigmastate/serialization/OperationSerializer.scala
4
25.0
 -50.0% sigmastate/src/main/scala/sigmastate/serialization/ProveDlogSerializer.scala
4
20.83
 -8.33% sigmastate/src/main/scala/sigmastate/serialization/SigmaSerializer.scala
4
16.67
 -66.67% sigmastate/src/main/scala/sigmastate/serialization/transformers/AppendSerializer.scala
4
47.37
 5.26% sigmastate/src/main/scala/sigmastate/serialization/transformers/ProveDHTupleSerializer.scala
4
30.0
 -30.0% sigmastate/src/main/scala/sigmastate/serialization/TupleSerializer.scala
4
47.37
 10.53% sigmastate/src/main/scala/sigmastate/utils/SparseArrayContainer.scala
5
26.32
 -26.32% common/src/main/scala/scalan/AnyVals.scala
5
29.55
 2.27% core/src/main/scala/scalan/primitives/Tuples.scala
5
33.33
 -20.0% library-impl/src/main/scala/special/collection/ExtensionMethods.scala
5
48.15
 3.7% sigma-api/src/main/scala/special/sigma/package.scala
5
45.83
 0.0% sigmastate/src/main/scala/sigmastate/lang/syntax/Basic.scala
5
14.29
 -57.14% sigmastate/src/main/scala/sigmastate/serialization/transformers/BooleanTransformerSerializer.scala
5
44.44
 0.0% sigmastate/src/main/scala/sigmastate/serialization/ValDefSerializer.scala
6
27.78
 -16.67% common/src/main/scala/scalan/util/BenchmarkUtil.scala
6
8.04
 -0.89% common/src/main/scala/scalan/util/FileUtil.scala
6
46.67
 3.33% core/src/main/scala/scalan/staged/AstGraphs.scala
6
33.33
 -16.67% library-impl/src/main/scala/special/collection/MonoidInstances.scala
6
43.48
 -8.7% sigmastate/src/main/scala/org/ergoplatform/validation/RuleStatusSerializer.scala
6
45.83
 -4.17% sigmastate/src/main/scala/sigmastate/lang/syntax/Identifiers.scala
6
33.33
 -41.67% sigmastate/src/main/scala/sigmastate/serialization/transformers/ExtractRegisterAsSerializer.scala
6
38.1
 0.0% sigmastate/src/main/scala/sigmastate/UncheckedTree.scala
6
17.46
 -1.59% sigmastate/src/main/scala/sigmastate/utils/Helpers.scala
7
15.0
 -12.5% library-api/src/main/scala/special/collection/package.scala
7
25.0
 1.79% sigmastate/src/main/scala/sigmastate/basics/BcDlogGroup.scala
7
19.35
 -16.13% sigmastate/src/main/scala/sigmastate/eval/Zero.scala
7
47.27
 6.85% sigmastate/src/main/scala/sigmastate/lang/SigmaParser.scala
7
46.51
 2.33% sigmastate/src/main/scala/sigmastate/lang/syntax/Core.scala
7
47.37
 -26.32% sigmastate/src/main/scala/sigmastate/serialization/FuncValueSerializer.scala
8
50.0
 3.57% library-impl/src/main/scala/special/collection/Helpers.scala
8
22.48
 3.88% library/src/main/scala/special/collection/impl/ConcreteSizesImpl.scala
8
46.88
 -12.5% sigmastate/src/main/scala/sigmastate/AvlTreeData.scala
8
50.0
 8.33% sigmastate/src/main/scala/sigmastate/lang/Types.scala
8
39.13
 -13.04% sigmastate/src/main/scala/sigmastate/serialization/MethodCallSerializer.scala
9
28.99
 4.35% common/src/main/scala/scalan/TypeDesc.scala
9
51.72
 0.0% library-api/src/main/scala/special/collection/Colls.scala
9
47.06
 0.0% sigmastate/src/main/scala/sigmastate/interpreter/ProverInterpreter.scala
9
54.05
 13.51% sigmastate/src/main/scala/sigmastate/SigSerializer.scala
10
38.6
 1.75% core/src/main/scala/scalan/MethodCalls.scala
10
43.48
 0.0% sigmastate/src/main/scala/org/ergoplatform/ErgoBoxCandidate.scala
10
38.89
 0.0% sigmastate/src/main/scala/sigmastate/utils/SigmaByteReader.scala
10
42.86
 -3.57% sigmastate/src/main/scala/sigmastate/utxo/ComplexityTableStat.scala
11
42.19
 -6.25% library/src/main/scala/scalan/Library.scala
11
43.75
 15.63% sigmastate/src/main/scala/sigmastate/eval/CompiletimeCosting.scala
11
36.11
 -11.11% sigmastate/src/main/scala/sigmastate/UnprovenTree.scala
12
13.54
 0.58% sigma-library/src/main/scala/special/sigma/impl/CostedObjectsImpl.scala
13
38.96
 6.49% sigmastate/src/main/scala/org/ergoplatform/ErgoLikeContext.scala
13
42.55
 -10.64% sigmastate/src/main/scala/org/ergoplatform/mining/emission/EmissionRules.scala
13
42.86
 -11.9% sigmastate/src/main/scala/sigmastate/basics/DiffieHellmanTupleProtocol.scala
14
16.34
 -5.23% library/src/main/scala/special/collection/impl/ConcreteCostsImpl.scala
14
37.74
 -13.21% sigmastate/src/main/scala/org/ergoplatform/ErgoBox.scala
14
41.18
 -9.8% sigmastate/src/main/scala/org/ergoplatform/ErgoLikeTransaction.scala
14
31.03
 6.9% sigmastate/src/main/scala/sigmastate/lang/Terms.scala
15
15.73
 2.16% library/src/main/scala/special/collection/impl/CostsImpl.scala
15
17.0
 -6.0% sigmastate/src/main/scala/sigmastate/utils/SigmaByteWriter.scala
16
31.08
 0.0% common/src/main/scala/scalan/util/Extensions.scala
16
36.23
 1.45% sigmastate/src/main/scala/sigmastate/interpreter/Interpreter.scala
17
21.54
 -1.15% library/src/main/scala/special/collection/impl/SizesImpl.scala
18
33.75
 -2.5% core/src/main/scala/scalan/staged/Transforming.scala
19
37.29
 -10.17% sigmastate/src/main/scala/sigmastate/lang/syntax/Literals.scala
19
50.86
 7.76% sigmastate/src/main/scala/sigmastate/serialization/TypeSerializer.scala
20
32.18
 -6.9% core/src/main/scala/scalan/DefRewriting.scala
20
40.51
 -3.8% sigmastate/src/main/scala/org/ergoplatform/ErgoAddress.scala
21
41.41
 3.03% sigmastate/src/main/scala/sigmastate/eval/Sized.scala
21
47.13
 -5.75% sigmastate/src/main/scala/sigmastate/utxo/transformers.scala
22
52.74
 13.7% sigmastate/src/main/scala/sigmastate/utxo/ComplexityTable.scala
23
45.07
 -4.23% sigmastate/src/main/scala/org/ergoplatform/ErgoScriptPredef.scala
23
47.62
 11.11% sigmastate/src/main/scala/org/ergoplatform/validation/ValidationRules.scala
23
50.0
 -3.85% sigmastate/src/main/scala/sigmastate/serialization/DataSerializer.scala
25
34.07
 -11.85% library/src/main/scala/wrappers/scala/impl/WOptionsImpl.scala
26
28.37
 -6.38% core/src/main/scala/scalan/primitives/Functions.scala
26
34.91
 -6.6% core/src/main/scala/scalan/primitives/Thunks.scala
26
47.42
 -1.03% sigmastate/src/main/scala/sigmastate/serialization/ErgoTreeSerializer.scala
27
44.62
 -0.77% core/src/main/scala/scalan/TypeDescs.scala
28
47.89
 3.52% sigmastate/src/main/scala/sigmastate/lang/syntax/Exprs.scala
30
41.76
 -6.59% library-impl/src/main/scala/special/collection/ViewColls.scala
33
41.72
 -1.23% common/src/main/scala/scalan/util/CollectionUtil.scala
33
30.84
 2.2% core/src/main/scala/scalan/compilation/GraphVizExport.scala
36
31.42
 0.88% sigmastate/src/main/scala/sigmastate/serialization/ValueSerializer.scala
38
49.7
 2.99% sigmastate/src/main/scala/sigmastate/lang/SigmaBuilder.scala
38
42.47
 -3.42% sigmastate/src/main/scala/sigmastate/serialization/DataJsonEncoder.scala
41
10.29
 -0.66% library/src/main/scala/special/collection/impl/CollsImpl.scala
41
56.74
 13.49% sigmastate/src/main/scala/sigmastate/utxo/CostTable.scala
48
47.45
 -1.53% sigmastate/src/main/scala/sigmastate/eval/TreeBuilding.scala
51
38.16
 -0.44% core/src/main/scala/scalan/Base.scala
53
43.27
 -10.53% sigmastate/src/main/scala/sigmastate/serialization/OpCodes.scala
53
43.69
 -5.08% sigmastate/src/main/scala/sigmastate/trees.scala
54
39.0
 -3.47% sigmastate/src/main/scala/sigmastate/eval/CostingDataContext.scala
65
49.12
 1.77% sigmastate/src/main/scala/sigmastate/Operations.scala
66
40.74
 1.42% sigmastate/src/main/scala/sigmastate/lang/SigmaTyper.scala
69
51.21
 -5.24% sigmastate/src/main/scala/org/ergoplatform/JsonCodecs.scala
79
38.75
 -5.31% sigmastate/src/main/scala/sigmastate/Values.scala
87
41.03
 -5.17% library-impl/src/main/scala/special/collection/CollsOverArrays.scala
88
46.53
 -3.63% sigmastate/src/main/scala/sigmastate/eval/CostingRules.scala
100
50.9
 -1.28% sigmastate/src/main/scala/sigmastate/lang/SigmaPredef.scala
107
32.77
 -2.79% sigmastate/src/main/scala/sigmastate/eval/Evaluation.scala
127
22.13
 0.35% sigma-library/src/main/scala/special/sigma/impl/SigmaDslImpl.scala
174
46.03
 -0.45% sigmastate/src/main/scala/sigmastate/types.scala
202
43.95
 1.42% sigmastate/src/main/scala/sigmastate/eval/RuntimeCosting.scala
Jobs
ID Job ID Ran Files Coverage
3 5107.3 (SONATYPE_USERNAME=[secure] SONATYPE_PASSWORD=[secure] PGP_PASSPHRASE=[secure]) 239
34.05
 Travis Job 5107.3
Source Files on build 5107