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
SeqLen
Id
Case Feature
Plug Feature
Skip Reason
78fccf103df250707048039ac412e46cc0d0b1f1
SeqLen
OneLineComment
TypeMismatch
7307a4f71f8ea4a4fc8a7eea98306e2f53f26969
SeqLen
OneLineComment
TypeMismatch
bac88bf6c59314bca36bbd32a9f7b2706ff41adb
SeqLen
MultiLineComment
TypeMismatch
81a094f6a3a0ef36a5c4c0e116603e3019c265fe
SeqLen
MultiLineComment
TypeMismatch
c98812ed35e93ce182f3243d96b3d875cd5974fd
SeqLen
BoolTrue
TypeMismatch
a5d144ae18956a2687a714e2317c447b469225ed
SeqLen
BoolTrue
TypeMismatch
18a5a1ff56ac39cfe799fdaac64a53fb32a522cb
SeqLen
BoolFalse
TypeMismatch
bb19ec43d99bb8d04042596aeaa6fdf7fd5d666e
SeqLen
BoolFalse
TypeMismatch
efcb46ab70a0f1f6300d4a404d8adc1a37e46578
SeqLen
BoolSet
TypeMismatch
18331efc8abb994e5125741618d9882b81d122a7
SeqLen
BoolSet
TypeMismatch
af76fd19c4437da35aaa2b58fd206e4fefdbaa5b
SeqLen
And
TypeMismatch
7e528b55358037b466c98849c8bacdeae5833488
SeqLen
And
TypeMismatch
3dc616de401a728b77ca026300615d8fff20e7b8
SeqLen
AndMultiLine
TypeMismatch
540ab375dc87428ef9d92bf80a8f7bdda107f25e
SeqLen
AndMultiLine
TypeMismatch
58e2323fa188db63df6c9e5dd2e161c4affa5c5f
SeqLen
Imply
TypeMismatch
9075a122e4a1cb67a058dca61e8a5a3f1eedc66a
SeqLen
Imply
TypeMismatch
6814515641262db57e7cac038793bd5d7861555f
SeqLen
Not
TypeMismatch
2b460e50df15c8e9049604eab8422338e268fbf3
SeqLen
Not
TypeMismatch
9e942fd201f205343bc0e10fac03e25a08cdf8d8
SeqLen
Or
TypeMismatch
f008410487d21d53095edf6d5de93ec42f0ddae7
SeqLen
Or
TypeMismatch
8865271b9b3d3025ac7831a2a34ed9de0f2d0331
SeqLen
OrMultiLine
TypeMismatch
55595b6e363ec6198b79964155605ac86c00de90
SeqLen
OrMultiLine
TypeMismatch
9e4c554d84d4bf95a1dec16b7ea517f9ffc5c47a
SeqLen
AndProp
KindMismatch
4f9cf6b9751a0ae89a8f122ff7628f22fbd7dbef
SeqLen
AndProp
KindMismatch
80284fc944bdead76bafbcdca09511563b6aa22a
SeqLen
Boxed
KindMismatch
779da416cbeb09ab529227efe6cf1579ab95c799
SeqLen
Boxed
KindMismatch
10c9539147d9f80a038c7d1a46592e68509bcb0e
SeqLen
Eq
TypeMismatch
bc994194e680051c9afd715858595d221b602577
SeqLen
Eq
TypeMismatch
35183bbb690634e45b813c3bb68291f3dc6a11bd
SeqLen
Ne
TypeMismatch
7c60a4f0a72639c4ff618b38f125a4b27605849d
SeqLen
Ne
TypeMismatch
fefac4c1a413758ffc78d0b38b125aa36f116a22
SeqLen
SetEmpty
TypeMismatch
2146b8efeb5a6ace05d5c0eff1b6efd021c15aac
SeqLen
SetEmpty
TypeMismatch
be28509739558f4563c7a5050deba45bdcdeb64b
SeqLen
Set0
TypeMismatch
e4a2bda6cea9dbbd8180d39c82f0918b28174a51
SeqLen
Set0
TypeMismatch
ac48aff4ff04eabda36029bc6b5fa41f2349cb74
SeqLen
Set1
TypeMismatch
d456f559a72fe97b57ed2854a11ca7d6a5d17440
SeqLen
Set1
TypeMismatch
e278d54ecc26c9034cfaeeff00d5b63214d06cd4
SeqLen
Set2
TypeMismatch
a100343f81a60d717671dcb92b34c3bccdd5a576
SeqLen
Set2
TypeMismatch
5ffa46068fd0d6827e5becbca94a88166202351f
SeqLen
Set1InDef
AlreadyCombined
a4e24524ad1372a8ebb2fc5c6cbbbc1555d3f998
SeqLen
Set1InDef
AlreadyCombined
46a3ee06c4df551f3a6768f87ce1d295c32fb1a2
SeqLen
Set2InDef
AlreadyCombined
028a00bf4859f74c99440b566bdcfb86da29a2ec
SeqLen
Set2InDef
AlreadyCombined
671cf9aba7f1a879436d92b9a91c707f57d38693
SeqLen
InDef0
TypeMismatch
d18e90510bba5d69cd0b64a4cbff1f100b9d0a23
SeqLen
InDef0
TypeMismatch
d0487be45c4c862d53cb6e1d81ed3480f4325209
SeqLen
InDef1
TypeMismatch
ee6bf784a167db0be85d938f725483fb3ca7f892
SeqLen
InDef1
TypeMismatch
3b097f2f80292b4d49f8f1c6dc138e48366d9539
SeqLen
InDef2
TypeMismatch
7deb69f0ae5ae819be4317e6add3bf90235e4932
SeqLen
InDef2
TypeMismatch
8e0c96c2d9aa9a142fe5db527f1266e9c3bb74c3
SeqLen
Fun
TypeMismatch
137f3da68e9199cb02a8494a1701f236fd08baf0
SeqLen
Fun
TypeMismatch
d9bccd753dcdd8e87171a48313d400e4f2d2a2b3
SeqLen
FunInDef
AlreadyCombined
310378ba38568381c7f7f3fa4a2f268b37ac26ee
SeqLen
FunInDef
AlreadyCombined
0e6d1367fad84eb4eac7849cc5ba3cac6f74fd9e
SeqLen
In
TypeMismatch
0c6d84bb70be6c48a00fb1266b78a88febeb57e9
SeqLen
In
TypeMismatch
11b836519a477a6d494bf24692c96091ee763099
SeqLen
NotIn
TypeMismatch
15a9d72708cbf7fad5e8948f0f17ba944ef2fb4c
SeqLen
NotIn
TypeMismatch
5537388e74e8ed747e7ad12cc4d41d7789edb1ed
SeqLen
Exists
TypeMismatch
f094dbb06c98b04565e0255ac62bc171e7e6a2b1
SeqLen
Exists
TypeMismatch
7c63eeee8146d7bbda1f1cbcb72be9ef01fd7082
SeqLen
Forall
TypeMismatch
18480945630e54b8177d830d4df99934c8f61c2d
SeqLen
Forall
TypeMismatch
370fb867415f20087a50792417efbbe9e54215a3
SeqLen
ExistsInDef
AlreadyCombined
ec0a76047db40b24092bddb9bcc6705110194cdc
SeqLen
ExistsInDef
AlreadyCombined
d0ceb8036aeaa056862a951e33d35ff7ff7c27ee
SeqLen
ForallInDef
AlreadyCombined
78560111203f7f77368b91aaf1800b5c3c6aa59a
SeqLen
ForallInDef
AlreadyCombined
a1f8e6825a4a74d12f14473be5f5c5bf2d23227b
SeqLen
ChooseInDef
AlreadyCombined
80dfc4593872f58e784e60b5726c7e32845b36e8
SeqLen
ChooseInDef
AlreadyCombined
afb8021f958dea2b79aea61838959be0da9dd845
SeqLen
Record
TypeMismatch
e321c3607debad6be45c8b990c027f8510291036
SeqLen
Record
TypeMismatch
6d26fdd419fded44b37d38b5bfda6e3355f93f27
SeqLen
Except0
CanNotBePlug
14992dcba06d08ffee33c607449a988926b3c0cb
SeqLen
Except0
CanNotBePlug
f9a1eb1797743db8a071f05db25ec4b26a7b8a11
SeqLen
Except1Fun
CanNotBePlug
3dbcf895e5e20927507f931e90c644c3f919163c
SeqLen
Except1Fun
CanNotBePlug
a933172c74b94a520f50f8530556d3c84555e51e
SeqLen
Except1FunWithAt
CanNotBePlug
13748fdc413fd16fddf74e1712b8bdf8fe7625f3
SeqLen
Except1FunWithAt
CanNotBePlug
090551420023eab11de7819f20f8d756a37a9f0b
SeqLen
Except1Rec
CanNotBePlug
d1663232607ca6866e8bdc30029ae6a8839b8d12
SeqLen
Except1Rec
CanNotBePlug
877010d6b714a1822eab04e979944ea8421fa6c5
SeqLen
Except1RecWithAt
CanNotBePlug
65710d9163ffbfc2958181669659fc8aba326490
SeqLen
Except1RecWithAt
CanNotBePlug
6697cae1ba356667627f98a63888b96bfdfc3f12
SeqLen
Except2Fun
CanNotBePlug
33592ff5b88ea0d851161e284a32ce3747e86187
SeqLen
Except2Fun
CanNotBePlug
3ac73f99402924de4df0ce4d4dfc3f71c0eb5930
SeqLen
Except2FunTuple
CanNotBePlug
e3eaf546252ad51318fc207f2ae44f4edea148b8
SeqLen
Except2FunTuple
CanNotBePlug
b755f8fdc135294dca55a15e977221058804299f
SeqLen
NumZero
TypeMismatch
deb911d8148e3598052f5013867958bfa1c8b89f
SeqLen
NumZero
TypeMismatch
8e3cf2267d527b22db14ab63ae6e1b5f458c8845
SeqLen
NumOne
TypeMismatch
0781cec40f98dc0ff48afbe33f134f0d951d8b01
SeqLen
NumOne
TypeMismatch
0247ef4742d9b31201e5bf9f1d77d92160b9e1bd
SeqLen
NumMaxInt
TypeMismatch
24bc3314450bd5c2916b2df020955f35c6c236ef
SeqLen
NumMaxInt
TypeMismatch
ce1e1a371b3a716eeaea3de3b9f0fcf6af94276b
SeqLen
NumUnaryMinus
TypeMismatch
514e6ae035917774c3f9b688322e224664aee420
SeqLen
NumUnaryMinus
TypeMismatch
971b1d3a70b2347a825d8ed068905f843f1a7c51
SeqLen
NumPlus
TypeMismatch
c3bc75e8c5c0b76619b7967a99c02fff38995c23
SeqLen
NumPlus
TypeMismatch
1212fc81b0a403b1460ec66ee50a2987473670e4
SeqLen
NumMinus
TypeMismatch
11489ea5fd998842c1fa4792c7ef0c06fec49498
SeqLen
NumMinus
TypeMismatch
13a9d67d2c09d993bcb1d6ae26840f1224ef71a1
SeqLen
NumMul
TypeMismatch
3d85cd492eb8b0014d3d3988b09435ccbbdd707e
SeqLen
NumMul
TypeMismatch
75f86a6d281ad113bfbbcee967905afb79fe7d96
SeqLen
NumDiv
TypeMismatch
c5e848662cd234017a1cfb390254d5f91de5e630
SeqLen
NumDiv
TypeMismatch
1a6fc8eedcdeac462e123d748b539312bb0528fc
SeqLen
NumMod
TypeMismatch
04867d432f57e72de12b256f0fc8778cf26dc9f3
SeqLen
NumMod
TypeMismatch
35beb4f79429cbf182e42af4438ee362514f4b6f
SeqLen
NumPow
TypeMismatch
49930a71e407f2488f99053558c54e1ce0d828fa
SeqLen
NumPow
TypeMismatch
688da5d64dd72d927e4262e1c6a788b39412da46
SeqLen
NumGt
TypeMismatch
d759449361122ef9dd75a91aeefd4abcecfdcad8
SeqLen
NumGt
TypeMismatch
45805baa99a345d8a724cf323232c142dc7ea36f
SeqLen
NumGe
TypeMismatch
aebeabe1b6913b29fe2cd6f89bac8cf17d9a8203
SeqLen
NumGe
TypeMismatch
d5b59c07164fba13a252b0344cb752173c0bcae6
SeqLen
NumLt
TypeMismatch
ba766667e0f11f262aecf72a96696111fbca8e8a
SeqLen
NumLt
TypeMismatch
6d330c4272cd5fd99e913028ce088c075a6d9a97
SeqLen
NumLe
TypeMismatch
82baf50bb64a7178ef1356dd30ea3f7aeb97e6f6
SeqLen
NumLe
TypeMismatch
4f8541bffa76d4abfdc4d95b19bf690994531a6b
SeqLen
DefFun
TypeMismatch
ea574b93f457c2270208468205eeab56443094a4
SeqLen
DefFun
TypeMismatch
9040ec6372dd557ba04513c772625d7733308bee
SeqLen
LetDefFun
TypeMismatch
790d96d374fae9f10cf588f42bf966b56c4a7bb3
SeqLen
LetDefFun
TypeMismatch
c4bbb41c9364826898169c3058fd2b06bd112056
SeqLen
DefFunRecursive
TypeMismatch
3ce0f957c5820654061d7d04c02a517508251a0d
SeqLen
DefFunRecursive
TypeMismatch
f9737ec9dbdad88b5a1a46850c9b77477cf427bc
SeqLen
LetDefFunRecursive
TypeMismatch
36eb1f0b65bd80a35e490c7d3198cffdc2e61a5c
SeqLen
LetDefFunRecursive
TypeMismatch
162a489cdf3237576f9bec7ce63a4f0f8cd36e68
SeqLen
DefFunInDef
AlreadyCombined
39dcae037a1b00f5c92a54b11eed7c4df99bd911
SeqLen
DefFunInDef
AlreadyCombined
c7d39d5f0a2758e51837b5c4f410d4d5571d1dbf
SeqLen
LetDefFunInDef
AlreadyCombined
6ddffac12d57cea19b957df0808b866459337cc8
SeqLen
LetDefFunInDef
AlreadyCombined
da183d7d8f824773628d802583d7ef661f846883
SeqLen
VariableViewExclude
VariableExcludedFromView
367b94eec9206aa8810fc3bf1b4e8585d9660e7c
SeqLen
VariableViewExclude
VariableExcludedFromView
855fe2a56c526d4bfea198b08a44258692208583
SeqLen
ConstantModelValue
ModelValueCanNotBeUsed
f7dd44e4e4542f6ee6badde772266d637a09c986
SeqLen
ConstantModelValue
ModelValueCanNotBeUsed
90c2e2630c58450a3232ab9838a4ad0d4f86c1e7
SeqLen
Enabled
TypeMismatch
985dc98004a085e2e23d582305c0b77bfb0b8561
SeqLen
Enabled
TypeMismatch
40444cae7fb37dd209a26f0f218a9122950d6b32
SeqLen
Assume
AssumeIsNotEmbeddable
fc2aa6e759951fd9835559f624b54b34f7f7c1ff
SeqLen
Assume
AssumeIsNotEmbeddable
f1055f48cf9d6fdc761324d7178f19a66dd4d2a5
SeqLen
AssumeNamed
AssumeIsNotEmbeddable
1a3369c80e4f975a3017c8e7dbf2cf0ea6cc6cc9
SeqLen
AssumeNamed
AssumeIsNotEmbeddable
5a95a2624489ae551b158a9cccae29865c0d5b56
SeqLen
Lambda
TypeMismatch
c3068e1189fafb6250b52d70c81384bb3b9fcc3d
SeqLen
Lambda
TypeMismatch
eb728d08737ad85785d44fb706de05250213c6e4
SeqLen
Cross2
TypeMismatch
7306f149f8cc586d76612fb7eb3111ea575a97d8
SeqLen
Cross2
TypeMismatch
0e066149bf5e6532bc0e676f7f44fc1db512c4f0
SeqLen
Cross3
TypeMismatch
6e0ec1cde1918680ddbc13c9151a56b170137ef1
SeqLen
Cross3
TypeMismatch
b8a7f500dc1bf6d7a07a3f83ade1adb4494007de
SeqLen
FunSet
TypeMismatch
ae93b992477afcad1e55c8d8565e4e13858b2996
SeqLen
FunSet
TypeMismatch
dd2fba980d2f4e9ba1a005488abbac4f91264f07
SeqLen
RecordSet
TypeMismatch
890d196323b01fb083a9f3cdc701e1cc4e0e61b2
SeqLen
RecordSet
TypeMismatch
76c941912763926438a84be7eeec3529a283bf98
SeqLen
SetDiff
TypeMismatch
b11b4a5e13b4f3cb6f42f82d214ca8b3528fd0b4
SeqLen
SetDiff
TypeMismatch
b4b1030a0ac06b8d7a5f263b0d6796c8a88a151a
SeqLen
SetUnion
TypeMismatch
5d10fc71ae9b2322c039fae07cfdadc2f5b568f4
SeqLen
SetUnion
TypeMismatch
3dfac05dd54d92b23c6e5e88cf791ba6f6b6f0f8
SeqLen
SetIntersect
TypeMismatch
0d56b415270de167815ee61e83ea8c779c0bc73e
SeqLen
SetIntersect
TypeMismatch
037d8d7ba0491a913daf7222703f274d501ea053
SeqLen
SubsetEq
TypeMismatch
b4a4119e01a5255e82bd1ef616b16ae4213c3dad
SeqLen
SubsetEq
TypeMismatch
34aa0576ae1390f44c6eecc362b404791f9e9d29
SeqLen
Subset
TypeMismatch
e60d4e8bbff0f8bb63f70591f32627aa8a112c8b
SeqLen
Subset
TypeMismatch
b21c5bce6b5e6734545a646b6fc0c3437cff6823
SeqLen
Domain
TypeMismatch
2ab6e59d634ef1a2a9b3f419429f4442b3f2b356
SeqLen
Domain
TypeMismatch
07232d1ff7cdc01efcc53dc05df280f7e773e523
SeqLen
Union
TypeMismatch
8e623a0283a731b3c8525b6932baabd6ad5e4e97
SeqLen
Union
TypeMismatch
c28511b1ca7642f2d8b56822b246c11b1408eb99
SeqLen
Unchanged
TypeMismatch
7e562835442979143e64c90a4eb196f35fc5fdbb
SeqLen
Unchanged
TypeMismatch
0c897d476cdf6ded61139e9adc9e871cd79ed10e
SeqLen
Equivalence
TypeMismatch
c7d1af2664a58c7339a474a68ce2d86ef9c990f4
SeqLen
Equivalence
TypeMismatch
25181bdfa15e933f87985c868326e32823b4ba87
SeqLen
SeqLen
TypeMismatch
33534264120fbb77adcfa2a2aa25f113b942a28d
SeqLen
SeqLen
TypeMismatch
1cb75aaffe3930eee7e2c09d822ee878ef781055
SeqLen
SeqSeq
TypeMismatch
7a16f5d76c33db939529c4e4a842f5947dbc42fb
SeqLen
SeqSeq
TypeMismatch
6049c42cbafc4d8e1bf40fc8eae5da810f230838
SeqLen
NatSet
TypeMismatch
ea8aa0a2ce26b27e71a6f1e63edfb8cbc2a027cc
SeqLen
NatSet
TypeMismatch
e821a9d99c6ac71d90ab3ff2195acfd03c7c2eee
SeqLen
IntSet
TypeMismatch
6be7b55b1c2f0026692e1223a1ab8b3f2348bd14
SeqLen
IntSet
TypeMismatch
8e5ac20a573b195239043bbd92202456e1986333
SeqLen
StringSet
TypeMismatch
e533bb0f56c6a42b1880eb322bae8fff37359564
SeqLen
StringSet
TypeMismatch
38009eabf28965800ee9f42842bf6620d039d2c8
SeqLen
NumRange
TypeMismatch
eb209cb9516f9365242c9ee85bc79949ac28d255
SeqLen
NumRange
TypeMismatch
d18cfcf45f075f3e5b7798400eaa36da6dec9e0c
SeqLen
TlcSingletonFun
TypeMismatch
a05ae06f2311af06c031135ac87cc313f614c31b
SeqLen
TlcSingletonFun
TypeMismatch
69987f3b734f52a8513c336ba572c79f452e2c38
SeqLen
TlcExtendFun
TypeMismatch
12b363a99e569b1da403464b84c6cb55358ce74a
SeqLen
TlcExtendFun
TypeMismatch
d32c39e79fd2bfb8e177b03c8b249d00d4223a85
SeqLen
TlcPermuteFun
TypeMismatch
8c480ccda09947d6cdd2164008c652fc2fbf2714
SeqLen
TlcPermuteFun
TypeMismatch
8566f4c3ccbf3f234ea624b56da35b638b00d42d
SeqLen
BagBagToSet
TypeMismatch
1e3fb3a8457157506cc3098d0b957297e42f866b
SeqLen
BagBagToSet
TypeMismatch
fffd0047b2bfe7afe0785fa594090f1c0313f857
SeqLen
BagSetToBag
TypeMismatch
01d987357f3ee323420d6e399c5ab37d67074d0a
SeqLen
BagSetToBag
TypeMismatch
a72ab51dc7b9a6d1c3e592581ded0b7fcd8f0165
SeqLen
BagBagIn
TypeMismatch
80e3774ecf37e6ce9dd024b82454d883f20cfca0
SeqLen
BagBagIn
TypeMismatch
0bb2609868d532dc802132fd01963396db8d53f3
SeqLen
BagEmptyBag
TypeMismatch
f070ebc2a3d7ab8e199a8b9d6d48bdf274dc7022
SeqLen
BagEmptyBag
TypeMismatch
815b071540041bc85dc0a0c2fa2c6211a382750c
SeqLen
BagAddBag
TypeMismatch
b0d5e019a4f4bf8e514646788a309d27d8a07d64
SeqLen
BagAddBag
TypeMismatch
66570b3b204c96a9ad26de0ac09e8557e12c7d2a
SeqLen
BagBagSub
TypeMismatch
ab81cbcc5e18a82a0318990e8a9e247472fdc14b
SeqLen
BagBagSub
TypeMismatch
c4e7291aa8d9acd92696298dd2e3e7f2925bfed9
SeqLen
BagCopiesIn
TypeMismatch
bff82659f7f27796be350021fd4eea7ab4ef4061
SeqLen
BagCopiesIn
TypeMismatch
05c0cedc78c8fa01c528dc112149fef12958e836
SeqLen
BagSubsetEqBag
TypeMismatch
d161a05a7f892d17af5e3988c9404192c55f04db
SeqLen
BagSubsetEqBag
TypeMismatch
b296fc79513a0712c29e5b85d7d0988ffe96164c
SeqLen
BagBagUnion
TypeMismatch
adc130c8343b190a1819f50eed2e31898e87e954
SeqLen
BagBagUnion
TypeMismatch
ccb4f610cc529072be023e38b59c2f193421163d
SeqLen
BagBagCardinality
TypeMismatch
af2f64f30079d97ab47f76858c92338cdc1e7c09
SeqLen
BagBagCardinality
TypeMismatch
3bfd4d211bb2934806d5831458ac929498896295
SeqLen
BagBagOfAll
TypeMismatch
243b162720c8d0ae83b6384a358395598abec49e
SeqLen
BagBagOfAll
TypeMismatch
09c6556f523ec8521eeb46dcbc94dca9d1b6d6ef
SeqLen
BagSubBag
TypeMismatch
1f6232842be82cd852ec032c50bb7341fad1de4c
SeqLen
BagSubBag
TypeMismatch
f066815d41c6380d3ef4ebb798e90fdd09ff7305
SeqLen
FiniteSetsIsFiniteSet
TypeMismatch
370a1ec91ae798f0982f0d25809ebf4db9af1c54
SeqLen
FiniteSetsIsFiniteSet
TypeMismatch
25fc5a1049c4ae6945111e8bbd63f7ecb6f65935
SeqLen
FiniteSetsCardinality
TypeMismatch
dcfc06b50c843fb31d255ca6eab4f51082a82933
SeqLen
FiniteSetsCardinality
TypeMismatch