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