Index
Introduction
Skipped feature combinations
Failed test cases
Tests by feature combinations
SYMMETRY
tests
Tests under anomalous conditions
Tests by feature combinations:
-workers 2
SYMMETRY
tests:
-workers 2
Tests by feature combinations:
-workers auto
SYMMETRY
tests:
-workers auto
Skipped feature combinations by plug feature
Def1Recursive
Id
Case Feature
Plug Feature
Skip Reason
30b8e41761b37dc01ef89a788eb23d875d8fa21b
OneLineComment
Def1Recursive
CanNotBeCase
a442ac4ce57fd232df55a77f6c31cf23b3441ec2
OneLineComment
Def1Recursive
CanNotBeCase
ee06bca20f2c0515c33a5cf5ae79ba21a5bf1890
MultiLineComment
Def1Recursive
CanNotBeCase
c58ffb0e02754e0c4f5817629ad29301ea363636
MultiLineComment
Def1Recursive
CanNotBeCase
015518209c0299f6d0852ab990930a0b419300a0
BoolTrue
Def1Recursive
CanNotBeCase
8e38e38283a14b43a1a0bb2261ba0154e4e2281e
BoolTrue
Def1Recursive
CanNotBeCase
ada9ee1d4edafa2d2bf785e96fa910ebbe4c79c6
BoolFalse
Def1Recursive
CanNotBeCase
0133c5e39916b452eed4d00689ee9ab012d3c3fc
BoolFalse
Def1Recursive
CanNotBeCase
d5f54ca139c5f93730cbf6ff36f1a5d8a2994ec9
BoolSet
Def1Recursive
CanNotBeCase
74b64a2a8d5e752cb8cf48d0f200e669d69f8a9b
BoolSet
Def1Recursive
CanNotBeCase
b0831ab59858ce87089561d8816ef6f35210414f
SetEmpty
Def1Recursive
CanNotBeCase
e91cd97f22b9c62ed107dc24023e85fbaae7fab6
SetEmpty
Def1Recursive
CanNotBeCase
fafea6517153f39d620a8642eefbbcaa2c213f62
Set1InDef
Def1Recursive
TypeMismatch
ac7c3882ab47a23218cca61dc45dfc6b0a651923
Set1InDef
Def1Recursive
TypeMismatch
a3d6a5b7ab854e202bc901a3a0b278e71a2b7309
Set2InDef
Def1Recursive
TypeMismatch
9a9eb30d54016ebe15bfe7a9d96aeeb8a07de48a
Set2InDef
Def1Recursive
TypeMismatch
9e685ed5ac6a4c0384bd1423509c41bf97d698d5
InDef0
Def1Recursive
CanNotBeCase
513e6c450eceb3e2447ac0f39fe1b7a43d7cdd19
InDef0
Def1Recursive
CanNotBeCase
2181bfa3fe0a4e798946ef263ed9602e51c61338
InDef1
Def1Recursive
CanNotBeCase
c3c2c033ec97787e3c957d9727062b65c2e7a3cc
InDef1
Def1Recursive
CanNotBeCase
77f5cbad2fa518c2244a537848877fd55226978b
InDef2
Def1Recursive
CanNotBeCase
25f1e33ec4f29fb77ebb8f005a348096b1121942
InDef2
Def1Recursive
CanNotBeCase
26fa364a594f83cb2b92a22061dacceb76790881
FunInDef
Def1Recursive
TypeMismatch
b99529732e513deae16c2723fca764eb5bba0dbf
FunInDef
Def1Recursive
TypeMismatch
ce6a945501178f3a5a12b2bc76db75c15277fac6
ExistsInDef
Def1Recursive
TypeMismatch
8860a97da2e88f16e84251bb94e658b66513e663
ExistsInDef
Def1Recursive
TypeMismatch
e9455d79af9715a0de5fc58ba3b493a735b7c7c1
ForallInDef
Def1Recursive
TypeMismatch
4b2223cafe29ca5d05f71c2f9b0fe35b7f6e8f31
ForallInDef
Def1Recursive
TypeMismatch
b40ee7ca511bbc75df6709cd3735267705ced68a
ChooseInDef
Def1Recursive
TypeMismatch
6e492433bcf25a68ce95e4c877d806c494c6b531
ChooseInDef
Def1Recursive
TypeMismatch
9d7ad3545888a138471cd2e0c36d1d39ff10bd71
TupleEmpty
Def1Recursive
CanNotBeCase
178d002abd61f3c60cdbd44868e47d2f30700375
TupleEmpty
Def1Recursive
CanNotBeCase
2c48c497cf3ec45679fd7e3043a59bdba89829d2
NumZero
Def1Recursive
CanNotBeCase
0dc0074b1a5daf9189e60415f11aaa277093b4fb
NumZero
Def1Recursive
CanNotBeCase
601a4b00e54db9ba24a44a6cb045d78b87da6a53
NumOne
Def1Recursive
CanNotBeCase
f146d16d7ad4c160fe5e877beea57c00c350ca93
NumOne
Def1Recursive
CanNotBeCase
64389c2782324e4dbfdcf6c4f21496d3d874a80d
NumMaxInt
Def1Recursive
CanNotBeCase
5af27226604a3d64975a4d2761b0d5301b051ae0
NumMaxInt
Def1Recursive
CanNotBeCase
35d692c97097dd19722a25d02a6559fd960113d4
DefFunInDef
Def1Recursive
TypeMismatch
a438f155eb94e5a22a5202cbe1af82b5b78c6f4d
DefFunInDef
Def1Recursive
TypeMismatch
3f4e1dfee8331c78ba74265a9b8799eef4ec789b
LetDefFunInDef
Def1Recursive
TypeMismatch
9773b394c5193b2c2850dd67fb07422442b7447f
LetDefFunInDef
Def1Recursive
TypeMismatch
13b62a1f7f1abc8acc2a8c950fe621a81d050da0
ConstantModelValue
Def1Recursive
CanNotBeCase
72858da962c6fd9861cfb6b31a5964aa7ec6e439
ConstantModelValue
Def1Recursive
CanNotBeCase
0581ce398c9d4f4a3a1216bcabf315104c6ca1cf
StringEmpty
Def1Recursive
CanNotBeCase
a7645d2487d340d8cefedb92944e5ad3e0e18250
StringEmpty
Def1Recursive
CanNotBeCase
0018a8bba3e7df2958353a3bf07fc05279774d17
String
Def1Recursive
CanNotBeCase
71ee6ea1eb6dd5151527acf48cec0ffd1877b0d4
String
Def1Recursive
CanNotBeCase
6239b084b9b46abcaa572dcce484d32405c4d475
NatSet
Def1Recursive
CanNotBeCase
3cccd35ea00a220c7e3afd8840d67443b1d21de4
NatSet
Def1Recursive
CanNotBeCase
8f445cfc4447afe1c1b1b3e078ca093efc8eea7f
IntSet
Def1Recursive
CanNotBeCase
6a6bcad13ddab335bfbe85dcf8f4bcf2fb6190fa
IntSet
Def1Recursive
CanNotBeCase
2f57096bcf8c59981166982fed6b7f1c560daef1
StringSet
Def1Recursive
CanNotBeCase
967a5f9db95d27ff2c5390b1f43cd883e75ea19d
StringSet
Def1Recursive
CanNotBeCase
1b06392ac5923ed959e692ffe00353f014e96c68
BagEmptyBag
Def1Recursive
CanNotBeCase
85946787a8343c1ab5ddc508a07c1c07ea95248a
BagEmptyBag
Def1Recursive
CanNotBeCase