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 case feature
SubsetEq
Id
Case Feature
Plug Feature
Skip Reason
157fb1a24a24e33bd6dfc8933c31ad183ba1f75c
SubsetEq
BoolTrue
TypeMismatch
9f7bc7bb228850a651a2499167f1cb4d0cfe3072
SubsetEq
BoolTrue
TypeMismatch
9a75b557ba2e8f0196e22827003d28b450c69b02
SubsetEq
BoolFalse
TypeMismatch
833d34df06d87344e210339115abc0e4392de73f
SubsetEq
BoolFalse
TypeMismatch
72cbb306d53d7a741808073c74d5a7fc1bd3da73
SubsetEq
And
TypeMismatch
5055b7eb60e2172fd7741a393b7343039f2f6bcb
SubsetEq
And
TypeMismatch
bffbfb8da20b230d86e200cb634884b1a0edbf1c
SubsetEq
AndMultiLine
TypeMismatch
cc7bd1c0abb06f3d8a26e8afa706514f60b2c7fa
SubsetEq
AndMultiLine
TypeMismatch
ede883d2462a26ccb5416cec8309ae0e0bd39a0d
SubsetEq
Imply
TypeMismatch
de1fcf29fc3fdfe804c81ecdd06b145787fe25cd
SubsetEq
Imply
TypeMismatch
a7c475c21177ca7458396f4f95530d14f9396452
SubsetEq
Not
TypeMismatch
8bc3f7f9821c273fe987b2b14d58bebc13ac7c57
SubsetEq
Not
TypeMismatch
ecb2b54562f5821ae1902fe01ce859d8ab94f57a
SubsetEq
Or
TypeMismatch
f4fd8a9c32f5735cda34be38392463b627e4d8de
SubsetEq
Or
TypeMismatch
a6ad76bb3d2e9e14958f4d041829e1c60e62c78a
SubsetEq
OrMultiLine
TypeMismatch
c076447c69adf239b181cf1101fb3ad2eb249edf
SubsetEq
OrMultiLine
TypeMismatch
2e83d2301517bf82b76527e2e3286e2e5db10e03
SubsetEq
AndProp
KindMismatch
5d0d43f8e7f2754ce1dced08eb61e82c6ccbe9a0
SubsetEq
AndProp
KindMismatch
f634cb460bd104d88a1537ad399c1e5ad04919a6
SubsetEq
Boxed
KindMismatch
fd1b082a15b5f2a914951ac0681403da2b96bbf9
SubsetEq
Boxed
KindMismatch
da26de66ebe7df0d8fb09dde6e180d06a948d7e3
SubsetEq
Eq
TypeMismatch
5ba79a4e8da5c47170d7b2484ed9fb30b6f29e7c
SubsetEq
Eq
TypeMismatch
7627d1d9f4f16369846402e65a0737d6e7e09d03
SubsetEq
Ne
TypeMismatch
6e4643a3b3b0f8a3648dd6f71d9aab6a363e70df
SubsetEq
Ne
TypeMismatch
7dcf23824dd059152718f92891a2374803552f0d
SubsetEq
Set1InDef
AlreadyCombined
7f72a2c7ba00a1363ca1037c94c3a6e7f59937e0
SubsetEq
Set1InDef
AlreadyCombined
9bbfcf77604ebf73ea12bbff4df1b4e23282a06d
SubsetEq
Set2InDef
AlreadyCombined
f883474b76908a419ffd0566783a99215079a1a1
SubsetEq
Set2InDef
AlreadyCombined
0c4f84d8a0ea6ca2256738a88c38f40d8c2f2271
SubsetEq
InDef0
TypeMismatch
0a1dcd0f5ec62fee3bed3727c42a227d463c4149
SubsetEq
InDef0
TypeMismatch
7afced45867fe08ef3156308017764b8dbeb525a
SubsetEq
InDef1
TypeMismatch
15dd6310010a453ac90c4e6918dc6842506a40f9
SubsetEq
InDef1
TypeMismatch
3150f3710afe36b2a311740227b131a386102ee1
SubsetEq
InDef2
TypeMismatch
28ca6e8403ad7f0eae2c29185cf307b3133b1d4f
SubsetEq
InDef2
TypeMismatch
702883aad4e1ac77ba0c7463e07c8d45a11bfe58
SubsetEq
Fun
TypeMismatch
ff4bc0ad16cc4b58e16a72727f9d61af3a75375d
SubsetEq
Fun
TypeMismatch
57f3eed87f417b8a60a7d9a5469a0fe14cc3393e
SubsetEq
FunInDef
AlreadyCombined
c7896d8c57320aeef1d4672d92bd5167f9b98cc6
SubsetEq
FunInDef
AlreadyCombined
81867912ae477cc399c855672b409b360ee17200
SubsetEq
In
TypeMismatch
d32e1b5e3a296ebeafdb1f90711ab7258c8adc77
SubsetEq
In
TypeMismatch
8f7d21093eba8f21177c10455f98f01735b23f10
SubsetEq
NotIn
TypeMismatch
810ecac8077d58a885bf43b8c733acb5b9d14c1d
SubsetEq
NotIn
TypeMismatch
2cd4a7fbd2232bc8ef5854a13d9694aaf3caab6b
SubsetEq
Exists
TypeMismatch
ba2cb78c498fa252a89e934e5eab06df01411e60
SubsetEq
Exists
TypeMismatch
6b967a269808c578db1a6b7ededfed75db86a038
SubsetEq
Forall
TypeMismatch
9229ad6e717425ff91660ebf9930e398bb7f74c8
SubsetEq
Forall
TypeMismatch
4fc3b81bef372ea6a2f8c6dc4a4a4f7635941ab5
SubsetEq
ExistsInDef
AlreadyCombined
7feb2ec628f00588f31250d60bfe0b195fb6e829
SubsetEq
ExistsInDef
AlreadyCombined
7c5bd7e1e6f8869f165eec3c329faca29d09d2de
SubsetEq
ForallInDef
AlreadyCombined
39b2b2270b74d9430c825517ce60be0688d099fd
SubsetEq
ForallInDef
AlreadyCombined
4f8c21278e78c5bd5dbdeabb91f3331ed7837a6d
SubsetEq
ChooseInDef
AlreadyCombined
d43459988e4a321c4a906a6fc7e3d082db9c45ff
SubsetEq
ChooseInDef
AlreadyCombined
b22c5c9d3022bbeaa29f463a3a1922da6d82f744
SubsetEq
Record
TypeMismatch
d757b8c458ee0c370bddb256fbf6c51394964ff4
SubsetEq
Record
TypeMismatch
da0f1ef1eaa85bcc9d36e0ffdb87c031dacdb6f0
SubsetEq
Tuple
TypeMismatch
97707093f31a877655635660f4b439582cee611e
SubsetEq
Tuple
TypeMismatch
e1b612c28c44d48e80389b75c11007146c0fbfb1
SubsetEq
TupleEmpty
TypeMismatch
a32adfb859e3080fe3a96dccd2eb5806d347c20a
SubsetEq
TupleEmpty
TypeMismatch
09ec2ea87744381b8c199fa65e2a237580d9f83e
SubsetEq
Except0
CanNotBePlug
385c91b29fafa75f48b4fc322726bbb048d4232d
SubsetEq
Except0
CanNotBePlug
f8dcff6fcd55ac1f00723ff365fe31673143528b
SubsetEq
Except1Fun
CanNotBePlug
faa46403e9427bc03816e39ee975f271429d9505
SubsetEq
Except1Fun
CanNotBePlug
d634f3391932aa3a886846eb47eccd339b11b721
SubsetEq
Except1FunWithAt
CanNotBePlug
c849505caff8c1f4a6fed4ab98684ed90ceef1a6
SubsetEq
Except1FunWithAt
CanNotBePlug
2bb765ee26c79f7c44a094c65a5862f1aef7ef3e
SubsetEq
Except1Rec
CanNotBePlug
44a970790f827528e4130f473a7c1b462f59450c
SubsetEq
Except1Rec
CanNotBePlug
a51dbb80fc0f09dfb5d248abbb87934032bfd540
SubsetEq
Except1RecWithAt
CanNotBePlug
1861160ce18a66047267585bcb9a3a4553dd41c6
SubsetEq
Except1RecWithAt
CanNotBePlug
3f9c994a52af066237f353685646deccb02e709e
SubsetEq
Except2Fun
CanNotBePlug
c189c9a1f3a7c506356c786d6c2d2a1904c98f3e
SubsetEq
Except2Fun
CanNotBePlug
8af50f9764ea84d8c338ee81399175e6a21100b3
SubsetEq
Except2FunTuple
CanNotBePlug
9e5b8446960071ba835c5def0b0895326e888a7a
SubsetEq
Except2FunTuple
CanNotBePlug
6bd6117a0da27398f6c27def3ff57884d27f720a
SubsetEq
NumZero
TypeMismatch
791901c6362d7cbd5b20f18c3e79913d633f4da5
SubsetEq
NumZero
TypeMismatch
98f642c3c94551e7762d3791221b0fcd57df18f6
SubsetEq
NumOne
TypeMismatch
18ec442337be2730482fd128833f7cff8356462a
SubsetEq
NumOne
TypeMismatch
9db27faa03461295d85831dc43f42fc9d55b322d
SubsetEq
NumMaxInt
TypeMismatch
89915318481682ec27c3a260911f9ba6679417c3
SubsetEq
NumMaxInt
TypeMismatch
17f3209c44971edb0d1e51ef93866cd055892c12
SubsetEq
NumUnaryMinus
TypeMismatch
4d8a5410da3fe5c0a1ec4e443a5f1d423b627c26
SubsetEq
NumUnaryMinus
TypeMismatch
4b2298297a78fbbd482f8930756fd8bda75bdea8
SubsetEq
NumPlus
TypeMismatch
2456a180d8dbb1120e9fbc8203a1c4d2c4624497
SubsetEq
NumPlus
TypeMismatch
177947cf9ccf917da1e8921876a4c3c67a1a12f6
SubsetEq
NumMinus
TypeMismatch
384f44453bb5e37014ba09d93f2cedbac31f8152
SubsetEq
NumMinus
TypeMismatch
02862da5c675bbd1004d0570a23ff2277b606acd
SubsetEq
NumMul
TypeMismatch
7181d8e2dea5cc37589c35c447bb9af3d65a50bb
SubsetEq
NumMul
TypeMismatch
8a7244301db6ec682efe5ade5e077d2bc3a2805d
SubsetEq
NumDiv
TypeMismatch
f3a560a336794e89132a0f252eb353e2422b7299
SubsetEq
NumDiv
TypeMismatch
3c2eddff8ef645d16b2446b6f688b0825d2f88b8
SubsetEq
NumMod
TypeMismatch
b1231e2abc33450aef16d7f13870afa5316f2e73
SubsetEq
NumMod
TypeMismatch
bf0422d58f52164b9a171bf498e27d6e4da5f52e
SubsetEq
NumPow
TypeMismatch
ee722d3a7f55cd48ece6fe62ac3c7cad08f864ff
SubsetEq
NumPow
TypeMismatch
3030f158a3768e2f871767a1df95ff4e84d9f5bb
SubsetEq
NumGt
TypeMismatch
e958c56bc5ab17fe3d656c4a49622748e0fd79db
SubsetEq
NumGt
TypeMismatch
f5855720b600fccb6c5d378baf232e4b552c6e74
SubsetEq
NumGe
TypeMismatch
97c05958da25fdb1b09c85d6944c6c640dfaa86f
SubsetEq
NumGe
TypeMismatch
7a36b0733a69a48c078dabb6b63138eac89756b0
SubsetEq
NumLt
TypeMismatch
19ca4848d7d92343a895d7d5261d81253fc818e8
SubsetEq
NumLt
TypeMismatch
a5e08b1751769ff659c1228f8e7a01e2603830aa
SubsetEq
NumLe
TypeMismatch
cda8ae96bb4b70ec10b58095244e44923d4978b5
SubsetEq
NumLe
TypeMismatch
c3f880e66034242511d1ea1cfb5ab4956f7e4efe
SubsetEq
DefFun
TypeMismatch
d10be91d16394c9838780077d1b6ba520d7a1d05
SubsetEq
DefFun
TypeMismatch
49b28854059a4f5c73395125b3692bff24f003f0
SubsetEq
LetDefFun
TypeMismatch
815260abcf7b1f8453c6828337b7f8ff67b2caf9
SubsetEq
LetDefFun
TypeMismatch
9d2688c2a9cac28ba22c8b35b2541a8cc6e0e27d
SubsetEq
DefFunRecursive
TypeMismatch
1e96ec3beedfcda174e63868899e08adc3a8e525
SubsetEq
DefFunRecursive
TypeMismatch
9f6072d29d66ab383752d3df935df3a3fd2b1d64
SubsetEq
LetDefFunRecursive
TypeMismatch
0731bcdfb53a227872eb1260c901a6e29b050e7d
SubsetEq
LetDefFunRecursive
TypeMismatch
7082440c5558cb343cee852a52ef0c10f69d68f9
SubsetEq
DefFunInDef
AlreadyCombined
010b74cb97c658b2883920458c8f1a4cbc09f05c
SubsetEq
DefFunInDef
AlreadyCombined
2b031a7fcf29c44ef576560a021a361c4d1b9650
SubsetEq
LetDefFunInDef
AlreadyCombined
1fa43ee695266d489d39795f9df698f51a99e170
SubsetEq
LetDefFunInDef
AlreadyCombined
770b5ac8c610dbe6943feadffb8c9240a7ad1528
SubsetEq
VariableViewExclude
VariableExcludedFromView
7c313c3fd3590d6729dd311628ca46a1de82941d
SubsetEq
VariableViewExclude
VariableExcludedFromView
8da6cd8fcb39119a0cbe0cf90768c4cf3b0d74f6
SubsetEq
ConstantModelValue
ModelValueCanNotBeUsed
1e028aea9f6af6b7d037e102d942a9a0a6a5d3f2
SubsetEq
ConstantModelValue
ModelValueCanNotBeUsed
633fe97256a8e3f250460abcd3b329d7ea854c39
SubsetEq
Enabled
TypeMismatch
130cbbd920be9e81b2cca73005a992d2fed31283
SubsetEq
Enabled
TypeMismatch
5a78344abc5fc5424ec875a5f6f97ee8aba1b37e
SubsetEq
Assume
AssumeIsNotEmbeddable
0094cc6007f463c1bf1e8a87b96c5f04324afe70
SubsetEq
Assume
AssumeIsNotEmbeddable
acfd32dc8875cfe050cce71c6f9114dda142a30f
SubsetEq
AssumeNamed
AssumeIsNotEmbeddable
b8f264b53d2e9795dde9faf829d590fffd244078
SubsetEq
AssumeNamed
AssumeIsNotEmbeddable
4ca6e3b4018659c3711a7d37035880382d8be8d6
SubsetEq
Lambda
TypeMismatch
d47125c43fc5a350917a48a9ab22d124e65de6fd
SubsetEq
Lambda
TypeMismatch
fcbbe733aeec02cbb30cf0f6879a386ee13b6286
SubsetEq
SubsetEq
TypeMismatch
e2dd15c8d7b44054c2458b116590950951018c48
SubsetEq
SubsetEq
TypeMismatch
bae63168b8caa07ddd4fba6bfa9bf37543771191
SubsetEq
Unchanged
TypeMismatch
8b96dc8d61b4d4ca8be2f94bf63d8633bbe856ba
SubsetEq
Unchanged
TypeMismatch
f600fc3808e326c4c12469894de8a722383a7d6e
SubsetEq
Equivalence
TypeMismatch
d785a47ce0d470254458970596e21eac7ec69358
SubsetEq
Equivalence
TypeMismatch
52b8df9f90368a8f588f83c2e38256de2b96d34c
SubsetEq
StringEmpty
TypeMismatch
72e77b98339c54cb3146cfca34af47dabb6b58da
SubsetEq
StringEmpty
TypeMismatch
d22d80ca45e98e09bbf15e51080655c61a3817bb
SubsetEq
String
TypeMismatch
7ac17bb65b318af07e757bae7d5f4aee3ecf0d59
SubsetEq
String
TypeMismatch
97e396ddbd81714ae2a249598b958581f3295d3d
SubsetEq
SeqLen
TypeMismatch
24e674979c1da52d3b5bc25b05fa70a61e4ff22e
SubsetEq
SeqLen
TypeMismatch
43151a085e9394f8486976a629200e3976585dee
SubsetEq
SeqConcat
TypeMismatch
e99699e071ba7fe756db3ac6f67732b061f177ce
SubsetEq
SeqConcat
TypeMismatch
8aa7e765d55420d4dafb70c062ecd34e4283f0c0
SubsetEq
SeqSeq
TypeMismatch
b44c297472cab6f396cca9ae90d791102202378e
SubsetEq
SeqSeq
TypeMismatch
ec6ed9f52c08fcfe973f0021557c982d18b7eef3
SubsetEq
NatSet
TypeMismatch
9f3dba43a5b3c8bd15d43b0a5d7c30b0f03d94a6
SubsetEq
NatSet
TypeMismatch
b58fa1b774b785c6d33c59f2295cb90c456e0e22
SubsetEq
IntSet
TypeMismatch
eb2d76cc1f3d14b788f27b494a79180364d9e088
SubsetEq
IntSet
TypeMismatch
fc4632406cd20c590ad73fec03eacdf9644b735c
SubsetEq
StringSet
TypeMismatch
d7d794c4a05c31612f5375052daa889a0f64e0fb
SubsetEq
StringSet
TypeMismatch
d8ff8448b169ec8389e9340d01d314e9e75ca912
SubsetEq
SeqSelectSeq
TypeMismatch
8d75dcc037697407375a1af14718a6d94df1e82d
SubsetEq
SeqSelectSeq
TypeMismatch
6527519cb3d6c7e62f47d0f3056467360159d186
SubsetEq
SeqSubSeq
TypeMismatch
b0cc4f89c7fc15089f28844ece31d5f32a9bda4e
SubsetEq
SeqSubSeq
TypeMismatch
d4c9d4e14cb21c2bf54f089413180c2f85756cf7
SubsetEq
TlcSingletonFun
TypeMismatch
ef6c2112c3034709d97c498fcc8cbd354645aca0
SubsetEq
TlcSingletonFun
TypeMismatch
1b79b5a5bb4b429b12060e137c347ae4f938beda
SubsetEq
TlcExtendFun
TypeMismatch
616da5eb82127451a37f38ad448bfc726e90b242
SubsetEq
TlcExtendFun
TypeMismatch
e0c4567fac94300bf1ae271f04defd98bd7c2108
SubsetEq
TlcSortSeq
TypeMismatch
a88b94c0c20c67a875cd82b362e8f33d5768f5d6
SubsetEq
TlcSortSeq
TypeMismatch
eca668df67ea61f7119b92b23b21ef0025986c92
SubsetEq
BagSetToBag
TypeMismatch
783ffae8343ac5e72d2670bbb2bccfed5b2b5d67
SubsetEq
BagSetToBag
TypeMismatch
9fc3604f270b110fc97d96663417e4b11daa712a
SubsetEq
BagBagIn
TypeMismatch
66b3b80a7163ba107c08a1a1831891ae32b36bde
SubsetEq
BagBagIn
TypeMismatch
9c04b83780a4cdbcb875fd96981ec8d7b9ecb687
SubsetEq
BagEmptyBag
TypeMismatch
e2f15d7cf949b11b21b958d4ca23c1e76bfb4e20
SubsetEq
BagEmptyBag
TypeMismatch
f8647944efd8433ad018d05b68b50bee3c70ca77
SubsetEq
BagAddBag
TypeMismatch
eccb17b21d616d178c0f74da9af67f437f34661f
SubsetEq
BagAddBag
TypeMismatch
8de753b42a860c64e8454556df90ae56ca91adbf
SubsetEq
BagBagSub
TypeMismatch
e536543eb345646f382cd20a4936843a45916eac
SubsetEq
BagBagSub
TypeMismatch
2197d466d24f484729b6915615bda8e4fc97f776
SubsetEq
BagCopiesIn
TypeMismatch
60f95cd68289002c7e4acb84f713219c5a2391d4
SubsetEq
BagCopiesIn
TypeMismatch
54a4ad1441a55daf4435b45f4d1143a9e608730f
SubsetEq
BagSubsetEqBag
TypeMismatch
72a26bf0c9f4c5a9418b0ce41381e350357e721b
SubsetEq
BagSubsetEqBag
TypeMismatch
fb5bb2d49950bc7eddf3878af2a4b73f2cd7bf43
SubsetEq
BagBagUnion
TypeMismatch
c69c8eec9531d577d4738bacf0c8a67a7f68aa33
SubsetEq
BagBagUnion
TypeMismatch
a3809310e1275aaa3dcc8005467878ff421910e6
SubsetEq
BagBagCardinality
TypeMismatch
08bbf7455f352d44da1d538d3dd5961578ce9ced
SubsetEq
BagBagCardinality
TypeMismatch
228b39b6765ab3cb7edf1a64350404024f6708f7
SubsetEq
BagBagOfAll
TypeMismatch
8adbc6a3f870175c94e2f37174056f254fb91572
SubsetEq
BagBagOfAll
TypeMismatch
fa22213b42aa0c31d234b680fe5cdc8b55d6ac38
SubsetEq
FiniteSetsIsFiniteSet
TypeMismatch
3c25a91bc886677765e750cf796869b46938eb4d
SubsetEq
FiniteSetsIsFiniteSet
TypeMismatch
229249b8e38dceefe5810069989d77de1e895df9
SubsetEq
FiniteSetsCardinality
TypeMismatch
53cd9f063dbb6e1a7426c5c4467cd1ab938f4a77
SubsetEq
FiniteSetsCardinality
TypeMismatch
79a70de04f50ef385354e0a31b1311114681d782
SubsetEq
SeqTail
TypeMismatch
a05d8bcfdfc38c3a7fa33889fb5cfdcaa3121817
SubsetEq
SeqTail
TypeMismatch
accd2c8da7e56e00d4113578690f4f4eab67644b
SubsetEq
SeqAppend
TypeMismatch
3d2811619a70568bc1e38b2f12bad5cc82183606
SubsetEq
SeqAppend
TypeMismatch