Index

Skipped feature combinations by case feature SeqSeq

Id Case Feature Plug Feature Skip Reason
83f9c7b47f823c9e1dc0c9905927624197b840ec SeqSeq OneLineComment TypeMismatch
14c4dcf8cce3bce09e354c510d14ca48de5e3f43 SeqSeq OneLineComment TypeMismatch
b5e7c3018258fee33386d865fb1b085810ff19e2 SeqSeq MultiLineComment TypeMismatch
ebc931a887ca892cfc95a0ee3dd7757b041b2327 SeqSeq MultiLineComment TypeMismatch
f8e4b7b3a3559ab3ea05739e025baf54f526687f SeqSeq BoolTrue TypeMismatch
bad66a6438d4badb4d57f2fd53cda27105d4e277 SeqSeq BoolTrue TypeMismatch
f9e483232eed6bb17b49d7321a97e2caa2e8e63a SeqSeq BoolFalse TypeMismatch
f3d4e328fecbb70d94db46df7f2a5c12d616d944 SeqSeq BoolFalse TypeMismatch
e57b949c0e095b42dcf164b9f049e7f820d3a0fd SeqSeq And TypeMismatch
9029284e615f85fdf1d1a8d1cb376d5caf9dc750 SeqSeq And TypeMismatch
03c9b5662fab4f7c0facf4aaf5faf6c0d5faf5e7 SeqSeq AndMultiLine TypeMismatch
7cf364c392894609c35f6ad779f11c7d8823eec9 SeqSeq AndMultiLine TypeMismatch
69a3c9d9cf838507ab7e9857db3a9af3380e2c26 SeqSeq Imply TypeMismatch
c1734744664981ed4ab70d801fb6968f6a8cdc4b SeqSeq Imply TypeMismatch
0108e46789569e90823000073082c04b8eb4c6c2 SeqSeq Not TypeMismatch
e02e264c1acfe990f132d32319cb046a06a2bdcb SeqSeq Not TypeMismatch
3f55db7eb4223822fd4a3b65798e065846b6276e SeqSeq Or TypeMismatch
2a2ddd13472dfdd3146c4cfe0f125200ab4ec557 SeqSeq Or TypeMismatch
ec4498f46f706b1d40edf3cbebfbd10f7b277ebc SeqSeq OrMultiLine TypeMismatch
c28d383138eae14ed3b10cd4d6ac924a3a836e3e SeqSeq OrMultiLine TypeMismatch
44adaa288c7b9eb9049e5884e4540dfbb05247cd SeqSeq AndProp KindMismatch
fabd6a2db3a287130f948b25d47786e1ca600637 SeqSeq AndProp KindMismatch
44c71df82b450c4624cca5b7c2ef02cf214c16d0 SeqSeq Boxed KindMismatch
76b194731eb9a083806c8ad122b1ad5c10cc10f5 SeqSeq Boxed KindMismatch
4c8842206ffc7f91921e41884c90b0921146ca1d SeqSeq Eq TypeMismatch
6f81437a19e9e0f40aa4cca850585a873cd8cbb9 SeqSeq Eq TypeMismatch
011c7ca54ea325017ed391658047f38f84c74d0b SeqSeq Ne TypeMismatch
3c22c0a39b959010c650e4a1754636f856d00d57 SeqSeq Ne TypeMismatch
05b575d1cc4a42ed08b2fe5f6188e9fe197ad374 SeqSeq Set1InDef AlreadyCombined
a639039a2d9f1f1698524b9d2943f88a7ab6aec8 SeqSeq Set1InDef AlreadyCombined
c6be49fcb42f3c49df5e7056cf9d563f19e2aa57 SeqSeq Set2InDef AlreadyCombined
918bedbb46a60fc042e29dd6b9f17b4ce5b187fc SeqSeq Set2InDef AlreadyCombined
0a1956b86abf89e8f5ea5aa8942ab28d9f98aa1a SeqSeq InDef0 TypeMismatch
1d3b08a127e9836c297f9b0fcd484b30f06775c3 SeqSeq InDef0 TypeMismatch
54116e1b6f19e9dcfbdadf3eb593a856d95a75ee SeqSeq InDef1 TypeMismatch
0f2572d1a48f2150f6c27567a71cfc152094a287 SeqSeq InDef1 TypeMismatch
a7badd5fde5ba0c5d9a03b1fedc35fcbba88be59 SeqSeq InDef2 TypeMismatch
c27c31f6f329abb0cd060d22fbf288265e949caf SeqSeq InDef2 TypeMismatch
841375d8a88e3b439d4faa1815611a190633b33c SeqSeq Fun TypeMismatch
0b2f66f99035ee2fb66ca91ac0547d867c783d53 SeqSeq Fun TypeMismatch
c743812026d8acab1d1461a4c8187e3a8a3d7126 SeqSeq FunInDef AlreadyCombined
d2fbbbaa12b3d084c78158edc1b5e353f85da7e4 SeqSeq FunInDef AlreadyCombined
bb07245f4735db76a55101b089709bb82080c432 SeqSeq In TypeMismatch
613dd2b0b2f4e389e124f4d5683e22c26efcd0d1 SeqSeq In TypeMismatch
e0335e4062a459dcc4d49359d0296380ab762daa SeqSeq NotIn TypeMismatch
0b4af42eec245d32f88ce9352c0071a53c9dce59 SeqSeq NotIn TypeMismatch
fa69a437382b846791ea45173cfc7cc744750c99 SeqSeq Exists TypeMismatch
b4c0cb8a1c8a1cfe5ea9346a8a43309b2d6ff58e SeqSeq Exists TypeMismatch
a4d9d704dc2baf6e380cef8349c0aced88ecf173 SeqSeq Forall TypeMismatch
f96fe4572106783d72c127a5cd77b5eceeb06117 SeqSeq Forall TypeMismatch
c6f2b6e9c9ab5dad8e80d334291b30df308d6ea0 SeqSeq ExistsInDef AlreadyCombined
ecb71a8a6d9ec1973af71327c11cf75bb16d7dc7 SeqSeq ExistsInDef AlreadyCombined
6a21f03746ad73ac3ce170456b53e48e7fcbd3fa SeqSeq ForallInDef AlreadyCombined
604a121820b3d96de902764b5488ee119c07aba4 SeqSeq ForallInDef AlreadyCombined
43189bcd8efa1736b7acce2545f1e4628528bf0c SeqSeq ChooseInDef AlreadyCombined
d9a9b45cea9c747ba27b13f60bfbf9310f453d59 SeqSeq ChooseInDef AlreadyCombined
a2b1093116b83c810ea8387613cf70b4c071593c SeqSeq Record TypeMismatch
ebb4ef8123562db74d9d4de279c50458fb2c93da SeqSeq Record TypeMismatch
0ad039aae8278359fa3bf1a7f9f694b9a69e6b55 SeqSeq Tuple TypeMismatch
4595ef263a4bcdf3017508ca4ce67f4ce3c0da48 SeqSeq Tuple TypeMismatch
5fa5189eabb57b5aac04c7a4fa7bae3ee5d5e648 SeqSeq TupleEmpty TypeMismatch
847fd70bf8080daf07eb8d258535286596c702b9 SeqSeq TupleEmpty TypeMismatch
284047682984d5926acaeec8b4b700e56ca73de5 SeqSeq Except0 CanNotBePlug
43ba43100c67391c58df610e1e461a34bfc86b75 SeqSeq Except0 CanNotBePlug
df53190a1a6b00088a983e8f784a2eb9276169ef SeqSeq Except1Fun CanNotBePlug
9946cbbd21533d19c2410eb06538ab3e30d49388 SeqSeq Except1Fun CanNotBePlug
7d8234e8ed2fcc0ed5467af6312eeea15bcd9860 SeqSeq Except1FunWithAt CanNotBePlug
80e84e491ab885584c733e998f0d52453932ed60 SeqSeq Except1FunWithAt CanNotBePlug
74d4aa3fe5a30e93e5c68953a40eeddb99ed3d1a SeqSeq Except1Rec CanNotBePlug
d3c06c1760f0c9301bb650d42b7866d3ba410b30 SeqSeq Except1Rec CanNotBePlug
0a5c7018240d806d2e091b6aaaade56b635019df SeqSeq Except1RecWithAt CanNotBePlug
6ad85778f4814e5b96dc8f52913b08288c2201b2 SeqSeq Except1RecWithAt CanNotBePlug
82658af78acff839d4540b3d7f5813d8e9bc8bca SeqSeq Except2Fun CanNotBePlug
6fcd752577af8014b9c1042ccdc72128dcc463c9 SeqSeq Except2Fun CanNotBePlug
59883b062fc19669f69f52a74e09ee2eddec4d2f SeqSeq Except2FunTuple CanNotBePlug
6d27c7b44922249c9af5f1ca63a0b4685126c225 SeqSeq Except2FunTuple CanNotBePlug
8aae79802140804d18ebebf585bb640eee3bf8bf SeqSeq NumZero TypeMismatch
e7f100353c5d3d3c79b00d7e4d738a9f3a201158 SeqSeq NumZero TypeMismatch
8d59b66bb96e41def3b10aac3dd8944f1d525832 SeqSeq NumOne TypeMismatch
a728e5eb69f0b27a953957cef53475e9c0ab7682 SeqSeq NumOne TypeMismatch
913ff71c353af4a1e1df42a16f73614c547463a4 SeqSeq NumMaxInt TypeMismatch
18ee1f11c167d9ce7da9f3e090a6925a8547aeca SeqSeq NumMaxInt TypeMismatch
721524a38128038a63a5a00a3a8c8c3d55e0eeb3 SeqSeq NumUnaryMinus TypeMismatch
d08b61196880da87d7478187b8f27b48ab38d5c5 SeqSeq NumUnaryMinus TypeMismatch
c6a75f1cd8c19746ef57cdd22aab45b85de4106d SeqSeq NumPlus TypeMismatch
1396b01aacdc48600905b864971bd957f32342f4 SeqSeq NumPlus TypeMismatch
0503e6560b1bd9384ae9b53827301c6744ceb22e SeqSeq NumMinus TypeMismatch
fbead2401b6241113845df95acd87716c2f72ff3 SeqSeq NumMinus TypeMismatch
bb85a1101a03b6486cef59ecf4e8ee8b7d50137b SeqSeq NumMul TypeMismatch
790cbfdac0b5dcee5d00a26f6e9fb7dffd2b70f9 SeqSeq NumMul TypeMismatch
37a796dac04afba01811d44e0c522d045d322640 SeqSeq NumDiv TypeMismatch
c24bb333099c3550ff3ea77212a690c6517f5763 SeqSeq NumDiv TypeMismatch
ceba600fb8d2ad85e1c4cc61edb36432648ca678 SeqSeq NumMod TypeMismatch
fad2eb52ffc75c6c32364e9c343c5c0eee63f20e SeqSeq NumMod TypeMismatch
42cf9efe6f067068d687227481162edbf95162fd SeqSeq NumPow TypeMismatch
3b18823a139e3d6889c369bb330937b3aec02a26 SeqSeq NumPow TypeMismatch
a136318ef5ac1ba44c7f28d80bffa37591fa0e34 SeqSeq NumGt TypeMismatch
9e9aa38a12f9a74776a39de2b26d713546f8813d SeqSeq NumGt TypeMismatch
ae360287494a5078f5f597fa7bb85ec5735fb23b SeqSeq NumGe TypeMismatch
baef9af6e6af290ca9605316e7755b0cec0553d7 SeqSeq NumGe TypeMismatch
efed3d60f08b4efb213eb5927caa8bacf7f95f34 SeqSeq NumLt TypeMismatch
802ea12e27f51b7bbb513726dbdac6b5f581fcd1 SeqSeq NumLt TypeMismatch
a687ace6d82dfa76d1e39d4f82ff4e841e3ace48 SeqSeq NumLe TypeMismatch
f9bbcf75d3e894f27ef8f16c798cb8a16dac78d3 SeqSeq NumLe TypeMismatch
873e3e3bfc5ca9e19a12ebd06888078047acb832 SeqSeq DefFun TypeMismatch
14f8df0c024ae8503c1d02e6c220d78e810ba9f2 SeqSeq DefFun TypeMismatch
471360c2a20ce13f0e6a8093d6052203c998a4bf SeqSeq LetDefFun TypeMismatch
ae1b2861838b851acd8bee27fc1c55014c60320a SeqSeq LetDefFun TypeMismatch
f65373fe8a23cd7f7d945779e60b7094258e8bdf SeqSeq DefFunRecursive TypeMismatch
f913094fb03059c66074856c2eb01a2852cc5a1a SeqSeq DefFunRecursive TypeMismatch
e0d9f00fc475a45d72e36f5257a7786b960c4d56 SeqSeq LetDefFunRecursive TypeMismatch
e91d2b3eb957ea23d176f53f0ec2709d8352af8f SeqSeq LetDefFunRecursive TypeMismatch
38abf394bf46b6814acac513138fbf3f79d453b7 SeqSeq DefFunInDef AlreadyCombined
ed31ae7683a7191ac1af53d736ab52279d0c885d SeqSeq DefFunInDef AlreadyCombined
c1ae202efaca400615adfdbb94f71a5c66253077 SeqSeq LetDefFunInDef AlreadyCombined
de09b4b60b537ec4494dd644cce2c6742028a463 SeqSeq LetDefFunInDef AlreadyCombined
b1fb02981b44ab9826431200c8918cfeb3adc18e SeqSeq VariableViewExclude VariableExcludedFromView
adfdd470157e010b409908159f113adb5813af2d SeqSeq VariableViewExclude VariableExcludedFromView
31e20b4c70e5bc8e42f56974f1689d291a7a4de8 SeqSeq ConstantModelValue ModelValueCanNotBeUsed
965cbe9da15ca9af46cebe9e761898dc4a36415b SeqSeq ConstantModelValue ModelValueCanNotBeUsed
4da76f0aa9280e0ef21cce6639d65950639820e3 SeqSeq Enabled TypeMismatch
1c607fc8a401b54f7b68428a8abfba81a9581952 SeqSeq Enabled TypeMismatch
e69b1fc1a097844cdaef1ff4e700fa0036c25a6f SeqSeq Assume AssumeIsNotEmbeddable
d1e8ca197a379aee862757269dc93dc4c4f37ab2 SeqSeq Assume AssumeIsNotEmbeddable
9cc8a512f2d6f54076788a97a23d087590a47fa1 SeqSeq AssumeNamed AssumeIsNotEmbeddable
829688dc9c5b5bd8ceeebc761b3ddf0fe75626d5 SeqSeq AssumeNamed AssumeIsNotEmbeddable
7e940a9d4d27fd68e2a3d3f0aa348185447c45b3 SeqSeq Lambda TypeMismatch
045756278d1dddd70d47ee17d5a11f253464fe6a SeqSeq Lambda TypeMismatch
53eceb12c2443406ad4fa63cd563ec18e20a4d54 SeqSeq SubsetEq TypeMismatch
75e05558f2059168953fb7105df3d7834245daca SeqSeq SubsetEq TypeMismatch
b7746f4d802639840b99741b1b0915ac709fd31c SeqSeq Unchanged TypeMismatch
a98874b4481ea635d1b7a6b6c1fd2d13fcfe7b6b SeqSeq Unchanged TypeMismatch
b57745820aaae48e390333ec1621f9e1f52a4e96 SeqSeq Equivalence TypeMismatch
b3dda07750a0038749758c542c40552c9badf99c SeqSeq Equivalence TypeMismatch
620a10d21ec55ab2322671405616c58bc6c7b024 SeqSeq StringEmpty TypeMismatch
56c36765c829079840885c963c81815fd10a9127 SeqSeq StringEmpty TypeMismatch
e699f6cd7244c35e5897298241abd9c011693cb8 SeqSeq String TypeMismatch
a01935fae984faf136f8ceaed62e990438b85efc SeqSeq String TypeMismatch
74e52bd88608d960802ed996e2c7f31c690d917a SeqSeq SeqLen TypeMismatch
44d5c0a0b9a4a4cb016be53f50f6c4737f5b05cd SeqSeq SeqLen TypeMismatch
a290444f8bcc9c42c20a776b04a47302dfc09818 SeqSeq SeqConcat TypeMismatch
ed22d3327c5c1003ea7bd5ce708d5e4a8caa8112 SeqSeq SeqConcat TypeMismatch
35634ec3be20f6bf9b47a2d7de65763962310905 SeqSeq SeqSelectSeq TypeMismatch
cc64b5ac4f5cca565129e08a9637b965c33018b7 SeqSeq SeqSelectSeq TypeMismatch
80374a97291171985732352ef5a5806745a0d474 SeqSeq SeqSubSeq TypeMismatch
52e77452a81ccb3e824dc5d7cfff7936b48ca50c SeqSeq SeqSubSeq TypeMismatch
682e0f2774082c731c00c80f1da6add5feb79756 SeqSeq TlcSingletonFun TypeMismatch
b4505c669cb46fedd2236adf7089c78743cd18d7 SeqSeq TlcSingletonFun TypeMismatch
fe17bdb9a12f3f9cbdcdb000b966e61d60a472d2 SeqSeq TlcExtendFun TypeMismatch
e6acba600fcdb3b6b75b01d0718aabb6e4300ca6 SeqSeq TlcExtendFun TypeMismatch
47a3a37dccbefa5c6922182868b5fbe8233d3c18 SeqSeq TlcSortSeq TypeMismatch
37c82aa17335696b9402ffebec0fa9ffded04e80 SeqSeq TlcSortSeq TypeMismatch
b4b1242a8ac2cdf69bcf384a4f6d8075d15a8800 SeqSeq BagSetToBag TypeMismatch
e17cc15e9449f433ad665c35ed825d114b90eb70 SeqSeq BagSetToBag TypeMismatch
97cbca55e407fa3d3832621a3b53f70803e11111 SeqSeq BagBagIn TypeMismatch
e6f410946ed93a78dac42030a3550f372f6b583a SeqSeq BagBagIn TypeMismatch
6316dfab26480794878d002d2654410165b240e1 SeqSeq BagEmptyBag TypeMismatch
a5fe0d346faac2991fd056f93ce029e65b7e0f0c SeqSeq BagEmptyBag TypeMismatch
807eaee80bbbb44ff3d45bad4cf207fb25611b10 SeqSeq BagAddBag TypeMismatch
488a941d7d6cb9001161fe46e1581c75afe35275 SeqSeq BagAddBag TypeMismatch
138be911065aef98f6d58238714a00651bb856ac SeqSeq BagBagSub TypeMismatch
1fd4a529c740c8d748ff8218a8f4d84fbf23ed40 SeqSeq BagBagSub TypeMismatch
da8d55dc6ce2a6948fa72b5a37fc0d457d97005f SeqSeq BagCopiesIn TypeMismatch
a37c594bc3420c87dce7addcf081c1f9854e4876 SeqSeq BagCopiesIn TypeMismatch
d3c1d7761bdef0b31e952fa9b46845ed12f17658 SeqSeq BagSubsetEqBag TypeMismatch
13af3262470d473a4384d86a1fa5935a5f208d3e SeqSeq BagSubsetEqBag TypeMismatch
b93e1104c511303ceb5224bbb2c2a85731b8dd56 SeqSeq BagBagUnion TypeMismatch
aeccde128787a8331fa2c4c3f65d90530e596e52 SeqSeq BagBagUnion TypeMismatch
8f022008768d0bd27b66948d44d959501386732d SeqSeq BagBagCardinality TypeMismatch
09cb62e6a47f40641e224d546fcfba8fa89644d7 SeqSeq BagBagCardinality TypeMismatch
173a953ad63504d295842734162ec578899130f4 SeqSeq BagBagOfAll TypeMismatch
f248845052c1864df68959d7fbb574635912210e SeqSeq BagBagOfAll TypeMismatch
a2a8b78f4615b97685147eba583f9dc1a6b62110 SeqSeq FiniteSetsIsFiniteSet TypeMismatch
5d99ab6b767cd05e79aefa1bb7db4fef44714255 SeqSeq FiniteSetsIsFiniteSet TypeMismatch
2ca6db6b4f278ed50737d57132a915efff389f0b SeqSeq FiniteSetsCardinality TypeMismatch
5d56bf01098461c5b276ba04d2cc30eb1448fc06 SeqSeq FiniteSetsCardinality TypeMismatch
e06366d0b08056f965217303da5aea085a549c4a SeqSeq SeqTail TypeMismatch
efc6ae8ba4fb6bab58740e49abdd15b9dd2100a4 SeqSeq SeqTail TypeMismatch
7225cf05f2118b864fd87abe96e8ba1e3d308e9a SeqSeq SeqAppend TypeMismatch
5962164db456be4af57ed1c4961956eb8a84344a SeqSeq SeqAppend TypeMismatch