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
Skipped feature combinations by plug feature
In
Id
Case Feature
Plug Feature
Skip Reason
62edcf722b3c9c8a44d67fe33be7e6616d378070
OneLineComment
In
CanNotBeCase
c0277b91e15cebcead40209c00cdb3541e0037c9
OneLineComment
In
CanNotBeCase
d872b0e888ab8b77b056800f0bf9b100d8e4a2a8
MultiLineComment
In
CanNotBeCase
9a9b9344c983dcc41125abd1065ed9ac9460cb00
MultiLineComment
In
CanNotBeCase
e4b1f995fd9071412b439b0237465876317ddee2
BoolTrue
In
CanNotBeCase
fcc7d2dae5fd4ba848381d3aaf43f7935e8998f2
BoolTrue
In
CanNotBeCase
8e53930db48347c0d284c901860d27e390e6aed5
BoolFalse
In
CanNotBeCase
2dc486f861b7f6ebe144c8e368f800790142c624
BoolFalse
In
CanNotBeCase
9b844b08dd78113919a8e49cc5ee3109f48c6213
BoolSet
In
CanNotBeCase
95532ea2511324f9bd408a7dbfd8d362ed8fd5d7
BoolSet
In
CanNotBeCase
2bb0475695f91c0dc4d0799523e7b702f63f61d0
SetEmpty
In
CanNotBeCase
b82221d81a271a71d795a19755ab776a0a5b0343
SetEmpty
In
CanNotBeCase
30cc200e4d59f37ea0df24a926797397aace1f4b
Set1InDef
In
TypeMismatch
33363a1fb841e75075f9d13249320041fa1f90ad
Set1InDef
In
TypeMismatch
3a9623862a088763c42f908290b2115b1f59acd3
Set2InDef
In
TypeMismatch
53dd71a6aef44ab43c77eb9c0728862f3dca0747
Set2InDef
In
TypeMismatch
0bcd01d00cf42cfac58d0d7122a43b8254da643f
InDef0
In
CanNotBeCase
30a568e60f2f9054fbc66f66655cc48f3fb75239
InDef0
In
CanNotBeCase
7681fe2b5ab5e3f43c9d185fd74246e0528961aa
InDef1
In
CanNotBeCase
ca07d42e95beb69dbbc19cd2a433695b401fe2ad
InDef1
In
CanNotBeCase
00da768e1ba7269599775bc7ab692ab9d83cb212
InDef2
In
CanNotBeCase
7b5ccb4e64c5532d2275bd9849cb8e398e017472
InDef2
In
CanNotBeCase
b4b790f51a1159909a3b930962fa29cc5473d1a2
FunInDef
In
TypeMismatch
ca360f38010453a119ff0a22d095e781501714a3
FunInDef
In
TypeMismatch
e60869de17cb5c5350529b6f68d8b61ebce5d5d4
ExistsInDef
In
TypeMismatch
5e2ea4fabc83239cf9f6f9da5d397dadc84f81b6
ExistsInDef
In
TypeMismatch
bd95889cc97d3e2946c144d6077fc0d8064d0077
ForallInDef
In
TypeMismatch
f39a8a2cbca357b701baa0e167fb880560975ec3
ForallInDef
In
TypeMismatch
4415ce3edd13a4f19d54cab19b1e9f7dadb23707
ChooseInDef
In
TypeMismatch
5f1dc6d8660fa8b155593d45075cbb47131b64e4
ChooseInDef
In
TypeMismatch
e4ec25c5e95f5601ec54ca58818ccedf6b0eaa65
TupleEmpty
In
CanNotBeCase
7227c3020f5bf07b443f8fee8b9e90bb248c7d4a
TupleEmpty
In
CanNotBeCase
9a1a032503a2787fb723955a327fde470a9e3bd8
Except0
In
TypeMismatch
39f2340eccb89e439530e28e056dd21e0d13c8ac
Except0
In
TypeMismatch
3880160e143415ef06d3ecc2c2fe861e86378ed6
Except2FunTuple
In
TypeMismatch
167967ef8f838ad8043e090b55b1c65768732c69
Except2FunTuple
In
TypeMismatch
563c1c6ed4628f5bcc91499b3b5e022c8aa32509
NumZero
In
TypeMismatch
7938545e282609cdfba46772c26a0874a784d633
NumZero
In
TypeMismatch
5fdf4db207f50ace58bb1233aba14e240967efa0
NumOne
In
TypeMismatch
21e9104d42152b597123d1263180afead0c5fc22
NumOne
In
TypeMismatch
c1f1a9aa268e6d29bcbde4b72a565a59d89590c2
NumMaxInt
In
TypeMismatch
7dcd0d7f41e8841930ad100ccbbf34aedca3997b
NumMaxInt
In
TypeMismatch
577815d310569dd4782a0f71351e82a5b064c261
NumUnaryMinus
In
TypeMismatch
114b65b249df3eae51c7c965a4af0fccc1d38865
NumUnaryMinus
In
TypeMismatch
e49f7bc03e07e7023ae50b643b0c0c599db44fe0
NumPlus
In
TypeMismatch
55bf3df20378bbc801c9241a7738195093c5e812
NumPlus
In
TypeMismatch
c937488234cbd5cc557220b578f16a596c155ece
NumMinus
In
TypeMismatch
21658495b6ff5f0f4efc3e6b6635cd48ad3e3991
NumMinus
In
TypeMismatch
6c5e3c7073681aac1ea41cda0e396ccf92f15c72
NumMul
In
TypeMismatch
51795c4f6869141d6990e31365327ec8c2eb00c3
NumMul
In
TypeMismatch
6d028a20b88dd69acbd65f7ba0b48a542290be32
NumDiv
In
TypeMismatch
79b6d2da5eea500dfdc9bc75d518efa82d98f50c
NumDiv
In
TypeMismatch
4bbd8d0de660adc1917b4850d3109a45488862b9
NumMod
In
TypeMismatch
7a45acafd15af8a97105ea4c906886bacd720b0b
NumMod
In
TypeMismatch
982c1fcbdf3a6346de0717a61d34ceb5307b984c
NumPow
In
TypeMismatch
c999c66adfbbaea02e18910d26a5256803ac76fc
NumPow
In
TypeMismatch
3ba908ab774bc35322c442df60eaef708cfedfa0
NumGt
In
TypeMismatch
0d5b535a7bcd51ea6a24ea16ef8ddcd46e5ccaa3
NumGt
In
TypeMismatch
d6fdde87af3cef828901ab0adaadd5f9cf1d95fc
NumGe
In
TypeMismatch
375ec35d21015ccab87cfb1e56a9fa9c5c776b88
NumGe
In
TypeMismatch
91b8357b0ffa8aa57fcec42fd3ab5ab41b8c6d4b
NumLt
In
TypeMismatch
96fbc0cb9290cf8dafa7fc5c3d496f8f7a261c64
NumLt
In
TypeMismatch
2e874287e195eaada0edba0e4d802306c3a27651
NumLe
In
TypeMismatch
95048aa7366a7f562119610ab2dd7ff95b02449d
NumLe
In
TypeMismatch
6d209838db624a974d78b4ab4110f20cc6015489
DefFunInDef
In
TypeMismatch
a7cf866659179817a7f1da137b5b276e0bc17977
DefFunInDef
In
TypeMismatch
df6a5fbb8c372335254a19676ed157052a2d6024
LetDefFunInDef
In
TypeMismatch
d702b80989862114cce4354b3f6d7585ceafafb0
LetDefFunInDef
In
TypeMismatch
89014e4a2069530fe0f316a39d07b5f3b8673bf0
ConstantModelValue
In
CanNotBeCase
fabafdd70c55020d494efc971ea30a8d95a809e6
ConstantModelValue
In
CanNotBeCase
e4ad0fdb638448e05fda5eba492083e9c05f0655
Cross2
In
TypeMismatch
fd792f17ec85812d0d6b80e36ca0c23b6bdc6cfb
Cross2
In
TypeMismatch
c1a3ccf9ce265da17ab2cc8716e94a3d458f023e
Cross3
In
TypeMismatch
7482cc657bbc7248ff6f1ffbd037b6ef56464f53
Cross3
In
TypeMismatch
eca8386a7a4bb6b6f5109896dfd2dcf796f20d7d
FunSet
In
TypeMismatch
fc117f3d7844332a5271ad36dab3488181f4416a
FunSet
In
TypeMismatch
b57d184dfbe559b8e435a6a4877b3f69fe1b8f57
RecordSet
In
TypeMismatch
1ca6cfbdd39e4c750de2605925c0c37d9b0e295d
RecordSet
In
TypeMismatch
a3345615b7fd163ddbe046eea1982d958b39028f
SetDiff
In
TypeMismatch
74319a64d75dc89e53b6199ea249f6b0cc603610
SetDiff
In
TypeMismatch
5048c4a6e52d8616edba8bbb20e831d053c9497b
SetUnion
In
TypeMismatch
fb87cdef268863f666766f8263394276293676f8
SetUnion
In
TypeMismatch
39f46cffd4d774beece5c834b724b09f87522c57
SetIntersect
In
TypeMismatch
827045bc03beccb942ec12b5ffe323a079785eab
SetIntersect
In
TypeMismatch
81867912ae477cc399c855672b409b360ee17200
SubsetEq
In
TypeMismatch
d32e1b5e3a296ebeafdb1f90711ab7258c8adc77
SubsetEq
In
TypeMismatch
39dd1d30d05a967614b2b25c1377faf8c28c68c0
Subset
In
TypeMismatch
78e40851fe61e47bac7878d49c74a48b4263d166
Subset
In
TypeMismatch
fe16eca74601011a976c4b52a668930ff5a3c756
Domain
In
TypeMismatch
d6b99dde2751a3ae71d401bf373ab6b1585e85ec
Domain
In
TypeMismatch
e9ba37ee2826052b92b78d7c61a036e4d818c797
Union
In
TypeMismatch
151aca10f3250cab54b488f342b8aa7ea3bcea97
Union
In
TypeMismatch
d5f672b2d2b79a84a1bc75545a04ef392e0ab3ab
StringEmpty
In
TypeMismatch
8c059be14a83b68df6a2380b2d43000db45401b0
StringEmpty
In
TypeMismatch
a6f286411563bba4af8c72765045c385cfcdb5a8
String
In
TypeMismatch
25630d8a2d9481b20e120043c149f302b970ccc2
String
In
TypeMismatch
0e6d1367fad84eb4eac7849cc5ba3cac6f74fd9e
SeqLen
In
TypeMismatch
0c6d84bb70be6c48a00fb1266b78a88febeb57e9
SeqLen
In
TypeMismatch
fe49a54d69e29001928776d2add0f64a27833711
SeqConcat
In
TypeMismatch
d0b6b51c68ce8a0b4ddd6c3cb88bd8690e225a9a
SeqConcat
In
TypeMismatch
bb07245f4735db76a55101b089709bb82080c432
SeqSeq
In
TypeMismatch
613dd2b0b2f4e389e124f4d5683e22c26efcd0d1
SeqSeq
In
TypeMismatch
35cd79e1a4da1accf9bdf64193687be0e43c2ad8
NatSet
In
CanNotBeCase
1ffbc35c259c5b056a167206e4f1aae6bb5d8066
NatSet
In
CanNotBeCase
dd06af79c0c0d7f45035e9258126956f38e3c283
IntSet
In
CanNotBeCase
ca2bdcd93ad3e35a2849166e45b0985f6fc76bf3
IntSet
In
CanNotBeCase
f8c5bf1d45d71fd9e5de036630908960c85f8c52
StringSet
In
CanNotBeCase
0c58b4d53b6b7abd3cd86ace847bbae489bfb47d
StringSet
In
CanNotBeCase
1d744409b3776fa756e5ab326ce09c957f3f47ae
SeqSelectSeq
In
TypeMismatch
38cf26f58405dea1be1c482b2480f8a033b2d024
SeqSelectSeq
In
TypeMismatch
4540ed7b488acdd4612f03d878ffed1c91e2ef9e
SeqSubSeq
In
TypeMismatch
a0c482c66dc1606b2ca23dfedf37824352c184b7
SeqSubSeq
In
TypeMismatch
b6c28c311ee975b21b451039da0b56b38f97b5ba
NumRange
In
TypeMismatch
c4ea0a8c31ff9c79203c889c307220fd3a6c228a
NumRange
In
TypeMismatch
cc24696360b251967d5af9a7247a0e8f1d33c19d
TlcExtendFun
In
TypeMismatch
5f3574dfe5d30518a7e42ffb81357fcb15a0768f
TlcExtendFun
In
TypeMismatch
de455bd349cd9e970252350251440838f9d0f580
TlcPermuteFun
In
TypeMismatch
cb30f4f19045623a2e9970b0b7aaa3fcb7b29cf0
TlcPermuteFun
In
TypeMismatch
24dd3926665951aff23165ba656b062dd95f8314
TlcSortSeq
In
TypeMismatch
04c10b47fda04ae4734709ff7c3f23ea86e59cc1
TlcSortSeq
In
TypeMismatch
1671302d109a566fd915859f294e13cce48e5c7c
BagBagToSet
In
TypeMismatch
0e507398941abd715200353ef5f1fb7362519c24
BagBagToSet
In
TypeMismatch
cff8c40847f281c165479f3c05f37f9b422ba182
BagSetToBag
In
TypeMismatch
09a04d8d59d8aa6d4bf6341d2f04280ad6abd307
BagSetToBag
In
TypeMismatch
7dfa238857f0ee0cd75c4729426b631cbc18e6f5
BagEmptyBag
In
CanNotBeCase
672ab0f15be01931e61877bc3bd9c5e8f3cf9db1
BagEmptyBag
In
CanNotBeCase
1602233a7d6e0c5d27a1e339ff86417b36690581
BagAddBag
In
TypeMismatch
effa0e51792840c0814ed1075d672e7cda3d2d5c
BagAddBag
In
TypeMismatch
0e27ac0fbe411b65a201b24a756c43527112de47
BagBagSub
In
TypeMismatch
09410da0ef75a4065f0ce42c516e2d903c6e0080
BagBagSub
In
TypeMismatch
cd143968be281d93e89e7f4c0b95c2dfc64acd85
BagSubsetEqBag
In
TypeMismatch
e8e5ad6d48ddcc99ec3b2e0fbea72f0fa2365f5c
BagSubsetEqBag
In
TypeMismatch
5068a2096c7f020a7cf9339fefd9db984c63496b
BagBagUnion
In
TypeMismatch
ad52edc242f4b50a29666494e119a488e1b0f7f4
BagBagUnion
In
TypeMismatch
598ea2f7116a684412c8d842b25795bbf2db8d9c
BagBagCardinality
In
TypeMismatch
295e23f360787161d34931af3d152700bac76cd6
BagBagCardinality
In
TypeMismatch
186c5c1fbe566a66f20bf4370f1bda50100e42e9
BagBagOfAll
In
TypeMismatch
899ca4c89d092cfc49ee3fe504570b669d1abb5a
BagBagOfAll
In
TypeMismatch
58b471cb9ea1b63ede2be17bb666a61671954f50
BagSubBag
In
TypeMismatch
dafba13d38d27f5994c1231dc23c0dbc07fabc69
BagSubBag
In
TypeMismatch
a8fe24416afcae2557ab60b42cfb3c37af1f5f0f
FiniteSetsIsFiniteSet
In
TypeMismatch
f160acfbe581ef491392c29909abbf3cf3176a3f
FiniteSetsIsFiniteSet
In
TypeMismatch
03e83a96a119412a4eae8e1ea9c6b7a2526c153a
FiniteSetsCardinality
In
TypeMismatch
f1d12445f61ef327784bb493ede9db228487ec9d
FiniteSetsCardinality
In
TypeMismatch
c5867e2637bbde2f4ec6defe4e9450ebdc9affad
SeqHead
In
TypeMismatch
24b2f909fe245afd0131c47e4937527bff3cff13
SeqHead
In
TypeMismatch
1458b589e85fa041b12969736fbce6a92d0998b1
SeqTail
In
TypeMismatch
bea1c453e7916be2aa60865fd8bbc88c0010c542
SeqTail
In
TypeMismatch