Index

Skipped feature combinations by plug feature SeqLen

Id Case Feature Plug Feature Skip Reason
adedddd75bac99dc30c1da8c27d9fd6e798ad559 OneLineComment SeqLen CanNotBeCase
1cb1269908b952a5c2f770cb033278fd89293e60 OneLineComment SeqLen CanNotBeCase
3602e40c58b58d2b55a0fd0425ebd0e17cf0e079 MultiLineComment SeqLen CanNotBeCase
4d103990d0b4eb723f78a869831c8a20e711fb5b MultiLineComment SeqLen CanNotBeCase
50f6713ee4dbad42d9e99b4bf69b629b0ad68aef BoolTrue SeqLen TypeMismatch
cefe43004a5434540c43768dea8c052196c40fd5 BoolTrue SeqLen TypeMismatch
5ca68ffa389fccb8353824b75f51318d51a19858 BoolFalse SeqLen TypeMismatch
856afa443d841107c0abe2b10e2aa852fbf01124 BoolFalse SeqLen TypeMismatch
8af29cf9e75e94496e5113220e858a9c63aa22c9 BoolSet SeqLen CanNotBeCase
5c2cfe691eaf6382d51a59bdefc3ac8054fd5b7f BoolSet SeqLen CanNotBeCase
13b80141bd917ea355f8faceb0c2faf40dd62e2e And SeqLen TypeMismatch
d6a882c662f71adccbb02979b66b62254910705f And SeqLen TypeMismatch
0c28e34461a11d26cb7b8f40b9c53fd239c8faab AndMultiLine SeqLen TypeMismatch
74a6ba7a45d10cf3ff86afac1886ea7a40564a9c AndMultiLine SeqLen TypeMismatch
531cc03f328461e70b1fa1d7af4c90b3a183e249 Imply SeqLen TypeMismatch
8115871ca659c26c31176933444cbf31f969d9d3 Imply SeqLen TypeMismatch
3da85e45b49363df85862cbe1dfbde3d8d09db38 Not SeqLen TypeMismatch
2b0dacc5257460fcc53e36bbc8380773cbbc5349 Not SeqLen TypeMismatch
d7947ca7006c1fd2f890968bc9f316d7bcbfa952 Or SeqLen TypeMismatch
4b6dcb4fbcc90f31c250d922d67548ca17ab09c5 Or SeqLen TypeMismatch
e3fd131f5037847192ab7b75ec3ddf55cbb11ef2 OrMultiLine SeqLen TypeMismatch
66671a0294cd102886374b8132270f6ac34bff94 OrMultiLine SeqLen TypeMismatch
ea14610956018268c42b906b030db274f11c484e AndProp SeqLen TypeMismatch
845cda8c26a41b53c66b3a689f61dcfab65cad59 AndProp SeqLen TypeMismatch
5fba8efcc276cb056d833334feb8ed75092c0fc4 Boxed SeqLen TypeMismatch
1151b123ef3af9cc615a3250333c0bc8604ad9f0 Boxed SeqLen TypeMismatch
d671cc3cfbd9498fd44a5ab0635f7d67fbf772ac SetEmpty SeqLen CanNotBeCase
df2541306062cb21153582e1407ce0ee5edcccf0 SetEmpty SeqLen CanNotBeCase
019d304e44b7dbb37efd0327d62ef4e2a0d6aadd Set1InDef SeqLen TypeMismatch
20eb1b84c8eda38c342ee53490d3537b0bda09e9 Set1InDef SeqLen TypeMismatch
bfc90798d8657287371090f805326e23b9277a02 Set2InDef SeqLen TypeMismatch
b9d812d2d7149e8909f7542f2d76de19a4b873c8 Set2InDef SeqLen TypeMismatch
3e4125130601d005b5cceff0cab1fda4c318115e InDef0 SeqLen CanNotBeCase
0435d6ab84985423c38290bead7aa89e203ff057 InDef0 SeqLen CanNotBeCase
6cd13d4b2916bdc25aea1a73163d8d551af5878f InDef1 SeqLen CanNotBeCase
ba84d4f4c86fce642fee3a2e6fc036d1744c1e45 InDef1 SeqLen CanNotBeCase
875ace59f3aa373755f36bcbcf2f62f8683ef2c3 InDef2 SeqLen CanNotBeCase
3f0c1e4f7c7ccc1b7005e9045353eb52ba175fd8 InDef2 SeqLen CanNotBeCase
552a56e77f407e380b5dfbd686b82c90aa78518d FunInDef SeqLen TypeMismatch
736145d32a7f79b19c2fd9f9edc1e368c747b45e FunInDef SeqLen TypeMismatch
789002d5ca5684dd6a351c98a98d2492a108764f Exists SeqLen TypeMismatch
b1226112e2433040b2e0b3ff17ae9a0c4fb4662b Exists SeqLen TypeMismatch
ce9e766bb37f0c4a8908ca477ae38cc4c00048a6 Forall SeqLen TypeMismatch
3bd8743108244623fe37f450a1727d87af1364d8 Forall SeqLen TypeMismatch
2d786dde59ebed6315506a04e72494dd054aa881 ExistsInDef SeqLen TypeMismatch
1fe6cbc158996e214e84dfab874f0ae73e5517bc ExistsInDef SeqLen TypeMismatch
65292280ca42ed71d9e98d09523ce6db7776ce47 ForallInDef SeqLen TypeMismatch
05a81e9256a65d0c721fcf7ff0af6ee7956295b1 ForallInDef SeqLen TypeMismatch
16e7a7a63815373a1d8d3db0150741a16d512d6a Choose SeqLen TypeMismatch
d54171026d1b2f97a4c61d8d7cc3c203c5a8d037 Choose SeqLen TypeMismatch
abc0fd0263fab8040ca3315a37ba16b577ea0746 ChooseInDef SeqLen TypeMismatch
1827da1c60b64dd7f6f6244522d7a133d71f6295 ChooseInDef SeqLen TypeMismatch
eaeeca9080060a1be1bb6b8069d4e48726104a62 TupleEmpty SeqLen CanNotBeCase
43358d57f6e7a36759ef737906fa2c9d30fd874d TupleEmpty SeqLen CanNotBeCase
2b55bf26f1367468550f64df6013aff0ac5f62c6 Except0 SeqLen TypeMismatch
945a2394ce6007c8068e6da46f83382ae8f09f8b Except0 SeqLen TypeMismatch
7fb56cd7be70b49f00492fedcdf604a71dd8a0c8 Except2FunTuple SeqLen TypeMismatch
5f65d958ecfe48fad94e20b2fe108775c1fb36cf Except2FunTuple SeqLen TypeMismatch
465ada0ee232b10e85e266a23efb10d53de7a59a NumZero SeqLen CanNotBeCase
7b6d4bec0786b8ab0ee255c9dcd407e75901f685 NumZero SeqLen CanNotBeCase
d6b7fe08f4f67392a7ebff44ec98c2c84fb0a725 NumOne SeqLen CanNotBeCase
b872e84c8718031dae246d0c7a16d539db027518 NumOne SeqLen CanNotBeCase
073dec746c4200ee4de665278c3996cc8f4d9c23 NumMaxInt SeqLen CanNotBeCase
56cd3905f93abad1283d1cc43ed777bc7d141aed NumMaxInt SeqLen CanNotBeCase
81241e131ecb1064471b668143c92f452ccdfd29 DefFunInDef SeqLen TypeMismatch
8e57952aa01df804f9df66ed626fd13447cb0580 DefFunInDef SeqLen TypeMismatch
55d73216701da6bb7c3f17c56e14dcc7b11e79f0 LetDefFunInDef SeqLen TypeMismatch
c2a900fab52a1ceb9bf9db228395ace91c0395f0 LetDefFunInDef SeqLen TypeMismatch
e556beeb97368c65e1ac78ab7aa25efab31464b6 ConstantModelValue SeqLen CanNotBeCase
695f6054f377cba3351b5dfcca842a51bb1e6728 ConstantModelValue SeqLen CanNotBeCase
e5ec27daf1fe591c6f9defe243edbf6c49c7f335 Enabled SeqLen TypeMismatch
a0e7a952cfbd43211bb79b7d9469f2ee0a08fc28 Enabled SeqLen TypeMismatch
33c335ce01e87c4ce300c96b947bb132554885ee Assume SeqLen TypeMismatch
f129e825361c456d6611cabac14dc1535a51a698 Assume SeqLen TypeMismatch
c544428a449a7b57fe7321ac7aaf467054c4a66d AssumeNamed SeqLen TypeMismatch
f44ebc31d48c147e300e48740cdb4dfe6b87e871 AssumeNamed SeqLen TypeMismatch
889c538de05922a4938b4ec30d0474a00cbee61e Cross2 SeqLen TypeMismatch
6fc5940b975b6a463d6bf0516d4473a1f27d6b38 Cross2 SeqLen TypeMismatch
8ee94abcafaf49c61e4eefd278c32007545f6a9c Cross3 SeqLen TypeMismatch
d5ad647459433d72905ec6c5c0ae1432d1d7be66 Cross3 SeqLen TypeMismatch
61d81795c0485abd7675bcbf4531aa82bceecfa5 FunSet SeqLen TypeMismatch
2c6ed15b0d7106f31656bd14e34e87c9bc4173df FunSet SeqLen TypeMismatch
e3d294974dd9de1088da2a9ffc73daad5855572c RecordSet SeqLen TypeMismatch
bfedb889439945c11a2d2e1365210c399b91d100 RecordSet SeqLen TypeMismatch
640ac4b1c341168ecada46318efad80a3a44c5ed SetDiff SeqLen TypeMismatch
9fcfadd2e9e08d1a759338da651ac29b829f6d7f SetDiff SeqLen TypeMismatch
3ea065e11532c9a5e123fd0c43a78b0672d9508f SetUnion SeqLen TypeMismatch
e9af1c65546726b5d9464343bf83a363b7c1b59c SetUnion SeqLen TypeMismatch
4a4970d10ce0353aaf2ff92e90989d03ba0b16a1 SetIntersect SeqLen TypeMismatch
803732cd3f16556c0f9f61d5c718bbfc5520f8b0 SetIntersect SeqLen TypeMismatch
97e396ddbd81714ae2a249598b958581f3295d3d SubsetEq SeqLen TypeMismatch
24e674979c1da52d3b5bc25b05fa70a61e4ff22e SubsetEq SeqLen TypeMismatch
c2cff297d94fafa86db71c784984d46d17ca52ed IfCond SeqLen TypeMismatch
1e513ceee540e5fc27d8e82dee55aa173a737825 IfCond SeqLen TypeMismatch
edffe4e82d567719b19ffb8bfdebcd0ccad7e502 Subset SeqLen TypeMismatch
1b796268ee672dabc2f62825c50737727464d1de Subset SeqLen TypeMismatch
32db9f7f067ed30365e424e1893d09c8999a75bb Domain SeqLen TypeMismatch
beb4c13d97ae1e85f6bb9afdeadb192282b007d5 Domain SeqLen TypeMismatch
83106259caef50bfc7fa26c1a177f7170dfcf69b Union SeqLen TypeMismatch
132622da32ac0101f8df1355219c91939611d7e7 Union SeqLen TypeMismatch
f2930249e7997b96ef3bc0862132ff836356d95d Equivalence SeqLen TypeMismatch
cd5f91bb3bd3a36d8749e3b1a9d0b6dbfcbcb443 Equivalence SeqLen TypeMismatch
976c212a351c47ceb303f58a44c3fd7ad2bb809a StringEmpty SeqLen TypeMismatch
e65cbc069706ac998d0ffb82f4e34482a6c5a324 StringEmpty SeqLen TypeMismatch
a569d134b471c77170f113688b6a5f74354ee874 String SeqLen TypeMismatch
ce498aac30cfda44a1bdb1efdd4d26f6d24850d3 String SeqLen TypeMismatch
25181bdfa15e933f87985c868326e32823b4ba87 SeqLen SeqLen TypeMismatch
33534264120fbb77adcfa2a2aa25f113b942a28d SeqLen SeqLen TypeMismatch
68f6aab53d7cf3dde543fd42f58145cb64b958b3 SeqConcat SeqLen TypeMismatch
1bdcc4576a9a3d04d9df92290999337f0b045afd SeqConcat SeqLen TypeMismatch
74e52bd88608d960802ed996e2c7f31c690d917a SeqSeq SeqLen TypeMismatch
44d5c0a0b9a4a4cb016be53f50f6c4737f5b05cd SeqSeq SeqLen TypeMismatch
8cf388dc003258e0bf89886a44ec474347de5885 NatSet SeqLen CanNotBeCase
da68b64fc1ea9f8eadc902d260f806432c0c1b42 NatSet SeqLen CanNotBeCase
bef34609ebb1c4558292f622853add499c6efe12 IntSet SeqLen CanNotBeCase
6d9048ae3f911cc001b201936ed88c8b3491a31b IntSet SeqLen CanNotBeCase
ee04941dce80fb9da2c8713a06557953576dafe8 StringSet SeqLen CanNotBeCase
12db29cbf2c3f309011df4c1cd4c724859154110 StringSet SeqLen CanNotBeCase
619507209111e3db7eea4567f9791f0b09c00f5f SeqSelectSeq SeqLen TypeMismatch
58d1237e70d36f28baa084bfd5ee8cfe277fb911 SeqSelectSeq SeqLen TypeMismatch
d4b6a92723b330f639ef7e9e065d4cad508e9fef TlcExtendFun SeqLen TypeMismatch
dd9fc6648c50a7fb8a3b4f5be97680223a2532a1 TlcExtendFun SeqLen TypeMismatch
ef8d45bff1fc4db025f6a1d7f42a51345f7feb67 TlcPermuteFun SeqLen TypeMismatch
c592b8146dcfa718787ec383bdd9d254c1ad43b7 TlcPermuteFun SeqLen TypeMismatch
1202c91e26f41296dd727e0da383ff3113ef390f TlcSortSeq SeqLen TypeMismatch
20cf9183ab878c53471a5790deca624c6348eda1 TlcSortSeq SeqLen TypeMismatch
942a936e0a945c072323ce98bde574ac21b50eeb BagBagToSet SeqLen TypeMismatch
c08ecb5bd3568163164a15c5bebffe8f189b052c BagBagToSet SeqLen TypeMismatch
61f18f54d4a6f113dd57175b38bd35f483dfab2a BagSetToBag SeqLen TypeMismatch
603bf9ab2dd84dc04d1d6ad144e31945d82439b0 BagSetToBag SeqLen TypeMismatch
a679566ce88fc506e962aba01305adc3c4664a97 BagEmptyBag SeqLen CanNotBeCase
d40b8880d3e9735226c0d04be123f0e43b102e20 BagEmptyBag SeqLen CanNotBeCase
702399971fec691e711e2905e0f8264604c60ba3 BagAddBag SeqLen TypeMismatch
ee33d6a741aef1cc893a3c6d4c681e4a8fb6abc4 BagAddBag SeqLen TypeMismatch
153ec9cad43724435c672d2631c921527fc5cfeb BagBagSub SeqLen TypeMismatch
3f01828635218423e7b911494d45903b0be585c1 BagBagSub SeqLen TypeMismatch
1b0b71ef8a1d8fbc5523ed5193929d9481034b14 BagSubsetEqBag SeqLen TypeMismatch
72be7c4d42a71f1d0ab5f98c4bdcc2f2cc711d64 BagSubsetEqBag SeqLen TypeMismatch
59adee78d6d1696eb8eb2832e91bde64ce3ba018 BagBagUnion SeqLen TypeMismatch
74a07e1ee49a0604f41d1484b28afec8922734f5 BagBagUnion SeqLen TypeMismatch
be8a263136a8270015589712f582864fdd5eafa3 BagBagCardinality SeqLen TypeMismatch
339c6dc3be8bc6ccc30d98a7d65fd625f50f5135 BagBagCardinality SeqLen TypeMismatch
71bb6ca7019cef95c58547505701857bd7acd5ea BagBagOfAll SeqLen TypeMismatch
c694e54ac3e5220b1c6686c980c98a029b41cb13 BagBagOfAll SeqLen TypeMismatch
09899a675781129b98a5a9011395c18055ec2bc5 BagSubBag SeqLen TypeMismatch
07a0b5344b7e9a24e29e54f6a19e0b2757e99e88 BagSubBag SeqLen TypeMismatch
603348ace1f5d9e20ce8e046c1010f6185f51899 FiniteSetsIsFiniteSet SeqLen TypeMismatch
6ee8f402d86d403c9d1acbb8bc77d7f6233ae19e FiniteSetsIsFiniteSet SeqLen TypeMismatch
bcef408d9f65b889fa61057a70a51ff43fdf6762 FiniteSetsCardinality SeqLen TypeMismatch
699f7e37a0a2de5cd9afb4bdb8eb7b6a0b856b92 FiniteSetsCardinality SeqLen TypeMismatch
30a4a3c4e8aecc69feae91ea9abee3b34e39a550 SeqHead SeqLen TypeMismatch
331f3b03527227506725aa64f05476ae577e907f SeqHead SeqLen TypeMismatch
2c1a9f5db838d622dd5e03e3d029da27ef13fdde SeqTail SeqLen TypeMismatch
c0ff11ce9bf878617d5dd25e439a190925774165 SeqTail SeqLen TypeMismatch