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
Enabled
Id
Case Feature
Plug Feature
Skip Reason
9d2c4a0af9d502fb070b1f9a2f4ec94da8fd0294
OneLineComment
Enabled
CanNotBeCase
e16a90fd18ccb42a0aa788ca390b6e33db3a3893
OneLineComment
Enabled
CanNotBeCase
cc278c4ca0480ce03c97d172917892e51af9019e
MultiLineComment
Enabled
CanNotBeCase
8588830288238e909101c4b4ea1da9b1f630e3a6
MultiLineComment
Enabled
CanNotBeCase
9ad9d648d83a9734d7a0dadbcb2330daa09e544f
BoolTrue
Enabled
CanNotBeCase
30e3b7d6d7d9d0d944ebcc794e6d3de1e359b31d
BoolTrue
Enabled
CanNotBeCase
838c8fa1ef47ffeb7f9d82c81a26328c9846ae35
BoolFalse
Enabled
CanNotBeCase
dfe01a9aabd513de124ec4af3792c4c8a12e1101
BoolFalse
Enabled
CanNotBeCase
47048b4c869d082aabad8b8bc379e38da9c87e70
BoolSet
Enabled
CanNotBeCase
031da6af385ec0f295a08d6e0f2f7d7504a58926
BoolSet
Enabled
CanNotBeCase
f520c828f68f1ac96d2cf739f578d605ee8ab0c1
SetEmpty
Enabled
CanNotBeCase
f2b1cd4c2ad4b0cfe9b8c1f4490e1ab0f199cf18
SetEmpty
Enabled
CanNotBeCase
f1b95466a533ccbd469d75e69d0ea353289e3fc5
Set1InDef
Enabled
TypeMismatch
f75c83c4dde950296d2d516d842bda8d69af1e06
Set1InDef
Enabled
TypeMismatch
545a35cbd4a4c4628fecca39d1890ecd760f6329
Set2InDef
Enabled
TypeMismatch
e50f9cbe8d223a7c698d107637457eeffef9ca0c
Set2InDef
Enabled
TypeMismatch
7fabbdef68b8a292c9f75f5e066668408cf1e3af
InDef0
Enabled
CanNotBeCase
ec5e60a6b79dbaefe0416a8f38aaf1685a7c5318
InDef0
Enabled
CanNotBeCase
af5eec2649310ad099344e6d6de38fee58c2e233
InDef1
Enabled
CanNotBeCase
46b9ec30876a07b7bcf931a603ee9bf6de6e92a9
InDef1
Enabled
CanNotBeCase
e073f5b4a9f889cb710411181fa91921bddd95bb
InDef2
Enabled
CanNotBeCase
064f123ecdde13783f6db2d8899643f5ca7e01e8
InDef2
Enabled
CanNotBeCase
398960f947988f513ef04c15edc5b254c74352d6
FunInDef
Enabled
TypeMismatch
fdd83e6a59944da85f3a313478c3e5e449615be4
FunInDef
Enabled
TypeMismatch
aca0c941d1c69feec610e72e2d8ea03972034f7f
ExistsInDef
Enabled
TypeMismatch
90e9b066563180dc90cd16b9215c1c84205d2d7e
ExistsInDef
Enabled
TypeMismatch
42688cb3d0b72759903c2214965df2ec0b56a962
ForallInDef
Enabled
TypeMismatch
703683c5b4ea41a22078a2e44f4caddf76f7060d
ForallInDef
Enabled
TypeMismatch
05ec0f8622f974c282205c393bf64e05623a9a21
ChooseInDef
Enabled
TypeMismatch
bab070b28f0b228459e854b4693b3e8358378040
ChooseInDef
Enabled
TypeMismatch
9b47289fc71eb41dfa322cfa7043adc427d62381
TupleEmpty
Enabled
CanNotBeCase
3337416845a1c7d0df09e982597b907ed4b6afc7
TupleEmpty
Enabled
CanNotBeCase
bf8557b30f178694d74e5602ae756de1f5233897
Except0
Enabled
TypeMismatch
c48cd41ec332862a71b8b5b23a0de817fd412917
Except0
Enabled
TypeMismatch
8d48b5332e8405b4b62f8b820245a16ba104fd7e
Except2FunTuple
Enabled
TypeMismatch
053e832ce4102f8d69a12beb24444c9b5f466c62
Except2FunTuple
Enabled
TypeMismatch
8f06c16c9c5f692218fad278968d63965901d389
NumZero
Enabled
TypeMismatch
785f0cd4126578f950066d0133640146c3ff58be
NumZero
Enabled
TypeMismatch
95ad69d0eef736fd0789afb90191d0fd42023dc6
NumOne
Enabled
TypeMismatch
b29cce5c434a4c7f672ebd14fd071ccde1401efa
NumOne
Enabled
TypeMismatch
413bd70dfab1534739ba40538dbd96a8b203bb03
NumMaxInt
Enabled
TypeMismatch
5b6a53c48fc1cd50fca4e50af6c0f47490c2f588
NumMaxInt
Enabled
TypeMismatch
78c7e2385ea8cf1a8541e4e8c8b43eb52acef4a1
NumUnaryMinus
Enabled
TypeMismatch
5632fce647a3e1af67cbf8d93a6abc403c442976
NumUnaryMinus
Enabled
TypeMismatch
6d3de0d0f6b03a6a1ae240c053cfe3fe72625f76
NumPlus
Enabled
TypeMismatch
b9891c3160933b24e8fe2f35c90b10d1b329107e
NumPlus
Enabled
TypeMismatch
3c879dacd56603dcdf6c98da1c2bf29d7745b16c
NumMinus
Enabled
TypeMismatch
9594d735c11a54084f292eae2a02641115e2aafd
NumMinus
Enabled
TypeMismatch
30be8d1ea3cce768d9d8cee82b08c71e1115a155
NumMul
Enabled
TypeMismatch
321e2f67b08a34e5e000a68641976338db2eb683
NumMul
Enabled
TypeMismatch
d78f36c6091a4ab7807e17d906e205be780b0af6
NumDiv
Enabled
TypeMismatch
35e29f669ebdc41d0ddab171689812372f2feb62
NumDiv
Enabled
TypeMismatch
66c0aebe450a55eb7e424073f1916cb0338b4514
NumMod
Enabled
TypeMismatch
ccf0706e2f302c4fa13e239aee0b7094f2e72ef6
NumMod
Enabled
TypeMismatch
2b4f97174dbdd7390926ea69aefe57d22491b56a
NumPow
Enabled
TypeMismatch
02aac41ec8de8bc2ab75897af4239433ab8c8998
NumPow
Enabled
TypeMismatch
7a29b1bab57844473a4518e914b03e8c0c6fdbf9
NumGt
Enabled
TypeMismatch
7b056ecfca556abab81d03316e74128db45f682a
NumGt
Enabled
TypeMismatch
dd4b45de726e27e9e2dee775027f9bd50123c4d7
NumGe
Enabled
TypeMismatch
a0cb15914c762c68d0dbf3e57d8247bb994d2700
NumGe
Enabled
TypeMismatch
45d54e84081cb9f1ba05f4bd56abd3c8fdd3dd41
NumLt
Enabled
TypeMismatch
a89c2c6e6b8c785c372981a373720921ab55edc3
NumLt
Enabled
TypeMismatch
3d9775fb767292230eadc76109878a83cb9f59fd
NumLe
Enabled
TypeMismatch
c2bba8cd462b0119add49bdfa1ac3ebd3b65cd0a
NumLe
Enabled
TypeMismatch
62affa414b8334a52db6ce2b5d5ee314b7645182
DefFunInDef
Enabled
TypeMismatch
d00e18c3173c6857c3c2026e14316ae398ac38e8
DefFunInDef
Enabled
TypeMismatch
a00c7ca572195fa70f8d2e351af109419213e430
LetDefFunInDef
Enabled
TypeMismatch
d1a99abc5b5c7cdc21b7b50b03142867cc03d275
LetDefFunInDef
Enabled
TypeMismatch
aa93af00226bbdf52e9df79a8432e398ec84b28d
Constant
Enabled
KindMismatch
bcd3b45aa802838e2811798126b99eb640af3c70
Constant
Enabled
KindMismatch
d2f1121095d8a012f9b9328f9359bdd283f521f7
ConstantModelValue
Enabled
KindMismatch
a3b67ae8a2a85ed6e87c356d25dc9b4fc04f9b94
ConstantModelValue
Enabled
KindMismatch
7c758ecb622defe45f4a2e755d61d3786dc3d545
ConstantRank1
Enabled
KindMismatch
01066d632cfe110955128f8a5bfbbe91209492c5
ConstantRank1
Enabled
KindMismatch
a0b5cba33fe898248f1da5f1f65234340188da89
Assume
Enabled
KindMismatch
e4135e823e529d1bf158adf8f6dc25189a3f6bc4
Assume
Enabled
KindMismatch
c536fd1e2ede060af272c1d1670934926777ade5
AssumeNamed
Enabled
KindMismatch
258ec229ebe01cde515f1f556e113d2ad32dee38
AssumeNamed
Enabled
KindMismatch
0bcb643c6b4137aa1ce44d9abcb46bca4ae06bf2
Cross2
Enabled
TypeMismatch
d876806fe25e5adf67ede1a7ff6d62b694d20504
Cross2
Enabled
TypeMismatch
aadb65605528243cc7e984b8cfacfa53ff94b241
Cross3
Enabled
TypeMismatch
f2a91d87fc30e82d05067f933142033c549522cb
Cross3
Enabled
TypeMismatch
fad22ede32e7eccf8f982ece29fbed2fd7f023bf
FunSet
Enabled
TypeMismatch
317c9855c9649463d31a27a5016ea2222c071e90
FunSet
Enabled
TypeMismatch
1a5fe47cf8bfbf4a629b0e38752f76e261eb6d93
RecordSet
Enabled
TypeMismatch
803b5a4ebefd9f4a7135d1121baf64f2dc829a54
RecordSet
Enabled
TypeMismatch
10f37ee3ecdfc46c57d360e25e79479a884cd16c
SetDiff
Enabled
TypeMismatch
f9b456326d4fb5e5fa2c07081b958184f603611d
SetDiff
Enabled
TypeMismatch
b840ddb7a94843f82fa0ba286c56594218ee16c8
SetUnion
Enabled
TypeMismatch
2d0fa8cee5025ca7d15582fe8d4322af597b803d
SetUnion
Enabled
TypeMismatch
08a4c3333c383c7943cd7a820633a2ed3b6bb4fc
SetIntersect
Enabled
TypeMismatch
f5dc5c77c3abc218775c8fe0682570b9ae21bd40
SetIntersect
Enabled
TypeMismatch
633fe97256a8e3f250460abcd3b329d7ea854c39
SubsetEq
Enabled
TypeMismatch
130cbbd920be9e81b2cca73005a992d2fed31283
SubsetEq
Enabled
TypeMismatch
e19f9fb039e5ee5d4272e8faf521af4070ed7a6c
Subset
Enabled
TypeMismatch
1d9f0c40fb69f24f281ed211e07e7fe00a45a64a
Subset
Enabled
TypeMismatch
ee9416d89352a58f523a05b7f9ca0b71faf11d4a
Domain
Enabled
TypeMismatch
11946c80ba962113868f06ebf7044faf28291483
Domain
Enabled
TypeMismatch
9c4bd827e0eaf855867347fa352af60d8421fad0
Union
Enabled
TypeMismatch
c38c42033bb363f0adbea45015ca6fe0f4620256
Union
Enabled
TypeMismatch
2494495a164b22875ea371d2261bff6dcacdc564
StringEmpty
Enabled
TypeMismatch
dcc87938bff67b29e5bd416e29975fb02ae9d711
StringEmpty
Enabled
TypeMismatch
0c57af5dd4f645992eb9b06c1df86145587429ce
String
Enabled
TypeMismatch
bf76736b47e86ed021b32c347ccf1bc8bdead7ff
String
Enabled
TypeMismatch
90c2e2630c58450a3232ab9838a4ad0d4f86c1e7
SeqLen
Enabled
TypeMismatch
985dc98004a085e2e23d582305c0b77bfb0b8561
SeqLen
Enabled
TypeMismatch
13576df7df87de5fc58fb7330299e4f5c5199b95
SeqConcat
Enabled
TypeMismatch
9526b08ca17c614cef74f96ea4ae4e79068f49d5
SeqConcat
Enabled
TypeMismatch
4da76f0aa9280e0ef21cce6639d65950639820e3
SeqSeq
Enabled
TypeMismatch
1c607fc8a401b54f7b68428a8abfba81a9581952
SeqSeq
Enabled
TypeMismatch
8ec54ee9e3c0607cd9a45bc8ebc29dac08a56d4d
NatSet
Enabled
CanNotBeCase
e522a9177f309810270f6444c627661a73e3a59d
NatSet
Enabled
CanNotBeCase
053a4df995e15a335b2f3d2252ba460414529ece
IntSet
Enabled
CanNotBeCase
3ee37f6582b984f01b71b52e7373a6430157d486
IntSet
Enabled
CanNotBeCase
adf10b726153d5fe7aa708d1d46632711ab96398
StringSet
Enabled
CanNotBeCase
14d26c45eb6541a8987637b358ed967bdc765e20
StringSet
Enabled
CanNotBeCase
106661fa93df8afa72ef2f8c85a9302128dd05f2
SeqSelectSeq
Enabled
TypeMismatch
db3454db34c124a31b80dda999f8199d8fa5a532
SeqSelectSeq
Enabled
TypeMismatch
f3d8ba3221ec69c465116d067b8919e27c0e78e5
SeqSubSeq
Enabled
TypeMismatch
ca6a687d4cba4b074aa7d36010c05c34d63cc9f7
SeqSubSeq
Enabled
TypeMismatch
f38b043190f779082096d1fe23ac2558af315aa1
NumRange
Enabled
TypeMismatch
63674470d8fb15750935169282041e436df71e08
NumRange
Enabled
TypeMismatch
5b17343be49bbca97642cf1471d858c5d29395a2
TlcExtendFun
Enabled
TypeMismatch
852b68ca59af45f42b833891fccc46976c3bb2ab
TlcExtendFun
Enabled
TypeMismatch
d25bbee7b5ee4fd610f466920101d0eaabc98b1e
TlcPermuteFun
Enabled
TypeMismatch
7738ed05fa340b39ce16c093cf870a7f7765dd81
TlcPermuteFun
Enabled
TypeMismatch
f30d7cf00b0e0977622409373c9c3065f8634808
TlcSortSeq
Enabled
TypeMismatch
1c2f97228a629b27c1ae7af36167ea57786eaeaf
TlcSortSeq
Enabled
TypeMismatch
4e33a7f2c346149f1a8911903492a6838f08d1bf
BagBagToSet
Enabled
TypeMismatch
8c4b443e07fc314f0beafcd4ed06707cd80a8249
BagBagToSet
Enabled
TypeMismatch
ecc41564113f9c3510a6d184d99b8a014a584407
BagSetToBag
Enabled
TypeMismatch
4a8a5bd88ce6fe6e1d98066c326cd1c0344c9ac7
BagSetToBag
Enabled
TypeMismatch
47ae0d005cdb456ebe2cb0b04f790836950136ee
BagEmptyBag
Enabled
CanNotBeCase
de3dfa5ed755acca203c71240b63ee75aa86149f
BagEmptyBag
Enabled
CanNotBeCase
187275668e6252acdf4785fea83b2ab5fa3ed815
BagAddBag
Enabled
TypeMismatch
b7f91320cba22b623d3c146cb4a6ce4388930d0b
BagAddBag
Enabled
TypeMismatch
75b2e03979c1d5524e2118d810be13dda74dc722
BagBagSub
Enabled
TypeMismatch
e5e65660c9ce1e39d8e31077bbbc4222c01dee2b
BagBagSub
Enabled
TypeMismatch
53d75335a2980ae50e9fcc3c25fb3973304ccf5a
BagSubsetEqBag
Enabled
TypeMismatch
686d178b4458565e3ac969f3ba2043cfeacdb556
BagSubsetEqBag
Enabled
TypeMismatch
fd49dae4ebabaa0b49ed63201a09435215cfe8fc
BagBagUnion
Enabled
TypeMismatch
6b96abe7e1f945feeb46e3d2536fe61b254563a3
BagBagUnion
Enabled
TypeMismatch
dd6bd6a2da612c05aa0aaaa8a67b65af2ff54621
BagBagCardinality
Enabled
TypeMismatch
5e65b439ba7b3506f6ccbc8582d449cb79b84f35
BagBagCardinality
Enabled
TypeMismatch
c7b84d14b811f6658e6fde3e9a84f1a31fb92d08
BagBagOfAll
Enabled
TypeMismatch
7f87486aa51a5f4490f2337d9eaa15875471bfb9
BagBagOfAll
Enabled
TypeMismatch
15ee25f00252e8f5398c23748bd87a63125b41db
BagSubBag
Enabled
TypeMismatch
b893c3d1dfe874f6d6d2935a34e1e73ef9bfdb9a
BagSubBag
Enabled
TypeMismatch
fd8238be52e1dad386d20ea12b6f44b13492cef2
FiniteSetsIsFiniteSet
Enabled
TypeMismatch
8dd81f18e5e0e9ec4d7732b19622bb070a50a92f
FiniteSetsIsFiniteSet
Enabled
TypeMismatch
449ab51e3dc121037e7be71365d6d944823eadc3
FiniteSetsCardinality
Enabled
TypeMismatch
548966c8e9fbc62aadb1ac037c7216ab7006238d
FiniteSetsCardinality
Enabled
TypeMismatch
166a50ec6a3389676986c94c6e3efad131b3e003
SeqHead
Enabled
TypeMismatch
e98ff16f45053d120ec4c0f995c7f24058bdae98
SeqHead
Enabled
TypeMismatch
07eaa02644b9d7059b0038346f9388ce6d232ded
SeqTail
Enabled
TypeMismatch
34197bfaaf352fb34f6542512327c738770f0dc8
SeqTail
Enabled
TypeMismatch