Index

Skipped feature combinations by plug feature SeqTail

Id Case Feature Plug Feature Skip Reason
5b104dfce8a10a7668f9ea07d818d9c2960c9f1d OneLineComment SeqTail CanNotBeCase
26a32cce48a35e1a6436e951d7595c4d0c44b750 OneLineComment SeqTail CanNotBeCase
ece9ed1ccd90c968b26c1f46e7883c713aa9a993 MultiLineComment SeqTail CanNotBeCase
8b424887c98316e29b15bc27cc591d6518094eb7 MultiLineComment SeqTail CanNotBeCase
ff69e83879d9b4950f89a1dc3ebe3ce64282db00 BoolTrue SeqTail TypeMismatch
5dfaa09cd33d1d9fcdfc94acfb1f39964dda4571 BoolTrue SeqTail TypeMismatch
f7834db5e1a9476e2b12536858779ae0de58da46 BoolFalse SeqTail TypeMismatch
a660c228a338ce7f21b74d7349a9483f1c5e9bf8 BoolFalse SeqTail TypeMismatch
8f4620473344f27003a9898149b7037bb191907c BoolSet SeqTail CanNotBeCase
5fb88a9d83b7eb413a6ed7efa22a0ff40cdd4a4a BoolSet SeqTail CanNotBeCase
0b04111d70b0aa35a8687b134bbfab0a72f08e3c And SeqTail TypeMismatch
a81b076b4f5bad5fcd5e668c795a2a4bb59fdfdd And SeqTail TypeMismatch
cf79e3ae912182bf579c49a45344ba61db3c4df1 AndMultiLine SeqTail TypeMismatch
7f7e8d412f5e1868f28c3ba9d7b500c738260732 AndMultiLine SeqTail TypeMismatch
093cd2770a6b265fd9e970c07aec6e80cf9c1faf Imply SeqTail TypeMismatch
69e4cfc84dfac40dcdfcc3c00ec66374284b726b Imply SeqTail TypeMismatch
2b220d6559708032278d90165a05322c08a66c78 Not SeqTail TypeMismatch
5759b11a73311822c3ebb21976bee65712ca9fe2 Not SeqTail TypeMismatch
f6ce8d4fdef8fd911691022d621252a57432507c Or SeqTail TypeMismatch
71aaef3f9e7e423304590f976ba723a141987c60 Or SeqTail TypeMismatch
d963909eae6be7fda2cee5c9899c755662199ae7 OrMultiLine SeqTail TypeMismatch
0fcf9ba2e534ab2c2b696b7d72667aec64917b53 OrMultiLine SeqTail TypeMismatch
7908bfff0695cdf81e04c1b801df57c1c3393cd4 AndProp SeqTail TypeMismatch
d8738aef5f35f7cdabcd897d676dbe4f85d0a929 AndProp SeqTail TypeMismatch
e60a01ab7db4e6286cd163d8166ce4aebe586d7f Boxed SeqTail TypeMismatch
c36f55c7749928a1e63ed5aa474cdb70094b5c9e Boxed SeqTail TypeMismatch
f849c31175589eecb63f1a04926151bb19cebc34 SetEmpty SeqTail CanNotBeCase
5fec91881a1b9c569ed549d461685fca017001e9 SetEmpty SeqTail CanNotBeCase
b7e257c77ef599c97779cc5eb82a6771c456a8e2 Set1InDef SeqTail TypeMismatch
90f60fa4bf5a675309ca84643e7187bd85eb2bdd Set1InDef SeqTail TypeMismatch
fad4179e69043b32dc9c659c640ced97d5b574eb Set2InDef SeqTail TypeMismatch
92a529c4c320c8e53b88a9649c9abf6581b2a3b3 Set2InDef SeqTail TypeMismatch
da6e07d258d8fea9efd016e30bc28f400c66cd9b InDef0 SeqTail CanNotBeCase
c06724ffcaa1d2f0572074135d5a5362d7a73454 InDef0 SeqTail CanNotBeCase
7f8197c78d5cc7203328b45e46a23f87ed93775c InDef1 SeqTail CanNotBeCase
f9dd4bb1de09d370e0c6d7a453bdbefff9744956 InDef1 SeqTail CanNotBeCase
583c0e477ae0e910e2010b25b7c85212526762cf InDef2 SeqTail CanNotBeCase
ecfe6d2a8230dd8aaf90a4ac563280030d11f5d4 InDef2 SeqTail CanNotBeCase
56043682b9f34411468d8e1b223cbdc88c1851c8 FunInDef SeqTail TypeMismatch
444e836cec1e24bc6da3e365318b354217527671 FunInDef SeqTail TypeMismatch
d9231d448080de2ae8c72ad72e25eb5feb301b2b Exists SeqTail TypeMismatch
7ed092c330f2ce68109bbe1c5365ca8fd76ec83f Exists SeqTail TypeMismatch
f75a1341a35fa990518c45832f360cdf177e550a Forall SeqTail TypeMismatch
2567b20a470fe34d71a076f9c6e5cb25161a4113 Forall SeqTail TypeMismatch
d7588dc856d223a8d1520e90f71cb35697294fd3 ExistsInDef SeqTail TypeMismatch
8ea869b5b9deb7ad34a76fc1ed2d8708bf9a78b1 ExistsInDef SeqTail TypeMismatch
4e340635bb5228a37bdd12ea257543bf0d2a71b6 ForallInDef SeqTail TypeMismatch
585783275eae42d2584689118332bdd0197a9166 ForallInDef SeqTail TypeMismatch
700fa31acad9e9ad381263f456ce282cd885b644 Choose SeqTail TypeMismatch
8cfa78e93900a4ee2e26df6e13e379d73fa2e220 Choose SeqTail TypeMismatch
136abe95cd65026a5ee00301dce22a33ec1c5c97 ChooseInDef SeqTail TypeMismatch
5ff6ce6f0bc562a19f6fb448a8547ad8295b7357 ChooseInDef SeqTail TypeMismatch
009b5d375adc81773481cb629415ebcc394eab9a TupleEmpty SeqTail CanNotBeCase
cede781b0cbf10fce95a85bc1177f5c0e00d95d8 TupleEmpty SeqTail CanNotBeCase
fffa061c17da8f49dbc4f300bd095bd9da977c7d Except2FunTuple SeqTail TypeMismatch
05b6cf9fd026812f1b5029f7c8bf0a7b43f5fe3e Except2FunTuple SeqTail TypeMismatch
992021caf6f857417361ba63ef0cb4a4deb697da NumZero SeqTail TypeMismatch
59ad1df5337620158c0db4556bee54eb17cdcc0d NumZero SeqTail TypeMismatch
9b2f4060b87e1ea832ad882845f2265a8e132c02 NumOne SeqTail TypeMismatch
82ca0cdf66d8625ecba0ff06a44388f32fd1445b NumOne SeqTail TypeMismatch
a2b512393fd825570f1f9d78fecaec3a2e61825a NumMaxInt SeqTail TypeMismatch
2195f1667d86c57218f1a44964e1e1de8c06ea30 NumMaxInt SeqTail TypeMismatch
fe1a81179318980363edb225299d2c0f3304b03a NumUnaryMinus SeqTail TypeMismatch
ed21d8cf84d172baad5bc2614857bcf68a7e7195 NumUnaryMinus SeqTail TypeMismatch
e9fd81e7ec21eeea01329d1eae4cfb53c656e518 NumPlus SeqTail TypeMismatch
cc489e5ed0898aa346566dc724f228679bae851b NumPlus SeqTail TypeMismatch
b39e73b026695a207ec500adf7d2bd5d9153cdfd NumMinus SeqTail TypeMismatch
f5591602d38786719ca2b17c414efeb6f4c0adc1 NumMinus SeqTail TypeMismatch
9e5e0f98a247b0147223425011bbf923eaed2bcd NumMul SeqTail TypeMismatch
3a1ea3bcd55469e4ca5ad5292f781c8bdc124409 NumMul SeqTail TypeMismatch
015210804d806c2e7fe141f42daf7f51741087b3 NumDiv SeqTail TypeMismatch
0ce399c4334a76553f6f12ddda18d57ea8628556 NumDiv SeqTail TypeMismatch
7a0b2e45190fb81eedd174feac907704d8a19dc9 NumMod SeqTail TypeMismatch
5c728922952edf2864f9a9e45ed7a775d0016f46 NumMod SeqTail TypeMismatch
b685f745cd3c96bb4ddc2c71c66d39dc8584ca46 NumPow SeqTail TypeMismatch
2ad37ffc6595b28c1d897d1ac333109283d0a868 NumPow SeqTail TypeMismatch
3639a3d9b1f082b61a0f97e2cf9c434464da0417 NumGt SeqTail TypeMismatch
5d38bd256fbbead5c498c2e7260c8832a8e8060f NumGt SeqTail TypeMismatch
ce654294a49827d1363f2bd350bdc6f8221b9172 NumGe SeqTail TypeMismatch
887b6b5cdd22fd461aad21676fb3bf72c6544238 NumGe SeqTail TypeMismatch
d0a7ab1471b09410eff7b457d5c68f2435a34608 NumLt SeqTail TypeMismatch
d3de4f5bc21704da3e0568bf07c2ebed62365413 NumLt SeqTail TypeMismatch
63c803e707600fe46cfced8f114bd1af1ba70fb3 NumLe SeqTail TypeMismatch
217f05d36e40b78da22097f8ba742bc2c57be8db NumLe SeqTail TypeMismatch
0754837d36032cc198ab5352ba60f6ef5d35de31 DefFunInDef SeqTail TypeMismatch
69e1afc62e75818f0a434bbb4a0656061758225a DefFunInDef SeqTail TypeMismatch
006d07650ec1130a3792d093c7937e4ae31eb296 LetDefFunInDef SeqTail TypeMismatch
6dec42287c6d8abcbc92f4d9a6aec7e6a04c6bfa LetDefFunInDef SeqTail TypeMismatch
ac4f6dc0ae44dfc8a81df648cd5a980cfd826d87 ConstantModelValue SeqTail CanNotBeCase
bf86411d7ddad61a6c53b052b9db020e2a06ecea ConstantModelValue SeqTail CanNotBeCase
4fc439dd8e4fe1f758c82b2934019b480597a51d Enabled SeqTail TypeMismatch
b4bc5f66619af5c6a95514aec9e6dfd9e71419d8 Enabled SeqTail TypeMismatch
3deb995f3630b3c6d9d018d0b5a661997159505a Assume SeqTail TypeMismatch
8d49a92a4269ea2c20485bc4fa9eab68544b99f8 Assume SeqTail TypeMismatch
b41830c027f2f92fd8a6bb7cd4e23da22621ce53 AssumeNamed SeqTail TypeMismatch
d58de83ca098dbb0fba3e5e4a17f111383d7e20e AssumeNamed SeqTail TypeMismatch
1dee192038e4c77e34490274498b5cd9d238a0a9 Cross2 SeqTail TypeMismatch
1894aa60fab99c7543b72160d0d937c0d9189920 Cross2 SeqTail TypeMismatch
fc45102af08d2ef186bbbe9de9b6769b3216bcc7 Cross3 SeqTail TypeMismatch
579211d704534c93a1e90499b7a2a3ffaad080ef Cross3 SeqTail TypeMismatch
fd87781455210cbb7a7b1ab538de762a661b1762 FunSet SeqTail TypeMismatch
15ef7b90013302923557c35aa49c2c4311bda06c FunSet SeqTail TypeMismatch
83ababbd44d9c42af88b3291374cc5b82571693d RecordSet SeqTail TypeMismatch
daec58beea72550b9eb8db46434ffc6d84253ab8 RecordSet SeqTail TypeMismatch
dd32c81d4837653a4a96759a3e6adda27140f151 SetDiff SeqTail TypeMismatch
5405d3410519a4b32f078109b03869cf74ace0dd SetDiff SeqTail TypeMismatch
70f47bda08042547903683e8ec0547152e911ed2 SetUnion SeqTail TypeMismatch
afcf873b5f0bf7d5829a6389c668df399deb34a7 SetUnion SeqTail TypeMismatch
629568d0e1c9dcf6ee1da2f78b76d6845052900c SetIntersect SeqTail TypeMismatch
0820869d9e7ff1f4cb386a7f828cea8cdec99d61 SetIntersect SeqTail TypeMismatch
79a70de04f50ef385354e0a31b1311114681d782 SubsetEq SeqTail TypeMismatch
a05d8bcfdfc38c3a7fa33889fb5cfdcaa3121817 SubsetEq SeqTail TypeMismatch
4d4b25d007e14e19a97003074ba036ee3262ca9d IfCond SeqTail TypeMismatch
312bf4aa52ffc35f44d7d8fddf5b25da5261fc90 IfCond SeqTail TypeMismatch
ba0a01fbd39638a487f47398f6572a797a8c5037 Subset SeqTail TypeMismatch
16abb24273563e2ee54f0274dc0e25dd05177a89 Subset SeqTail TypeMismatch
45fcf9c2874ec4fa96cc354f479e0235a0b760ac Domain SeqTail TypeMismatch
a8ad779039947fa516236b0e5c0178deb15b57da Domain SeqTail TypeMismatch
33397d4c318fe9d6d4109aa03e90ea5eac4472d6 Union SeqTail TypeMismatch
6f689a5d527ae72fd928785ecc6596e081f75442 Union SeqTail TypeMismatch
e84591d41450fef2e474274bb74e5bd0dc884fc1 Equivalence SeqTail TypeMismatch
5c4428a6055f3b5fa2ea97ec31add9ee3af55c94 Equivalence SeqTail TypeMismatch
ce38937686854389764ae21b67e5f6a9a1c45c16 StringEmpty SeqTail TypeMismatch
136690b1e1c52791f083ba168fa70706772c8639 StringEmpty SeqTail TypeMismatch
1fe95a6faad90bda224f7dbbec64d42fd467fe94 String SeqTail TypeMismatch
8ff4627006f3992327a6a2a42be5524acc5ea000 String SeqTail TypeMismatch
e06366d0b08056f965217303da5aea085a549c4a SeqSeq SeqTail TypeMismatch
efc6ae8ba4fb6bab58740e49abdd15b9dd2100a4 SeqSeq SeqTail TypeMismatch
46956377571c2df605b1f8bf7a8bbbf7d941e7e9 NatSet SeqTail CanNotBeCase
ca88539631738198c3561ba88df403aac29ec8b4 NatSet SeqTail CanNotBeCase
1a22a45fd4ccfcf2534f55f5636deb1e0cafe85e IntSet SeqTail CanNotBeCase
46c65ab99e8d15e08e7680f25c19f12333c413d2 IntSet SeqTail CanNotBeCase
b0917876af8104953f6d4ff9c4bebb7abbcd1702 StringSet SeqTail CanNotBeCase
578d02f621ba40cfc430f93e03d70450f4d67ed9 StringSet SeqTail CanNotBeCase
27248a37976affc123ac8b2a28baa5dfdb363747 NumRange SeqTail TypeMismatch
b9024bcf4834b0a5c66dea4249b33fe35847dd3f NumRange SeqTail TypeMismatch
f6efb5eeba47e75bcc5b07ef68cb0f9d1193890a TlcExtendFun SeqTail TypeMismatch
848ca4d99be7dd0d83e1fedebc96ff6ea507397f TlcExtendFun SeqTail TypeMismatch
ff734ed372aea9179590fb836256779fda823c36 TlcPermuteFun SeqTail TypeMismatch
2db80d41bccf6512f06f4414c02e1bff6d165c68 TlcPermuteFun SeqTail TypeMismatch
cd2b9c4afbc911371990921e5db8b5e50ecdb93e BagBagToSet SeqTail TypeMismatch
52aed4433fcbe3b4f2fa7b61d2677fa2f0492b66 BagBagToSet SeqTail TypeMismatch
0343918f97e692a5a5aa756d7c87979b357d9f80 BagSetToBag SeqTail TypeMismatch
362e828ef85c84cb10d0cd8c32865253bc4a9336 BagSetToBag SeqTail TypeMismatch
3439e776d63c0571aee620164d6d777d9fb055fc BagEmptyBag SeqTail CanNotBeCase
e470e776baecb19a0ef24a2dcd5afd6cb11e7f12 BagEmptyBag SeqTail CanNotBeCase
3ca5c0833a90e481571f6c394fcc5d3e63ba6232 BagAddBag SeqTail TypeMismatch
fd59d8e49d0cf21489bc9f386b13af7a1e30128e BagAddBag SeqTail TypeMismatch
3aa89e5559f20a8acd0c5aa33984957d51270f01 BagBagSub SeqTail TypeMismatch
53d5fcd28f53d51fe05035cf893ed569b9fbc286 BagBagSub SeqTail TypeMismatch
92d30e52c885a1f42e5f101bcf5eb10a782e5f23 BagSubsetEqBag SeqTail TypeMismatch
216335153718e7dace07887bc139c77426995815 BagSubsetEqBag SeqTail TypeMismatch
54065f3e7ae973deebc6cf04ee8bfdf27b22c3dc BagBagUnion SeqTail TypeMismatch
0f5657d5ca92b9d18051dd611dae400564e66b59 BagBagUnion SeqTail TypeMismatch
00a7081fcc494e0685f7f2ac14c5f1bcf89e0245 BagBagCardinality SeqTail TypeMismatch
62bf50fe1ecdbc8c8206438b8b49f758173622a5 BagBagCardinality SeqTail TypeMismatch
41bddbe8543e4b45c36275eccd94f981c38fe768 BagBagOfAll SeqTail TypeMismatch
645d6a18e2e22e13960d1d6f99569de1189b1878 BagBagOfAll SeqTail TypeMismatch
13459850ab3075eb67c4f04a6298c13299081143 BagSubBag SeqTail TypeMismatch
15fa4b65fce63240da1b28ff06c2a7eac8178339 BagSubBag SeqTail TypeMismatch
4f72d148e31683c17e868713fc80d9d235364689 FiniteSetsIsFiniteSet SeqTail TypeMismatch
2952ddb359268ec2af27aedb26a6d41664efe5b8 FiniteSetsIsFiniteSet SeqTail TypeMismatch
2cb2a873e0f080e98c96766ff684396626a25d08 FiniteSetsCardinality SeqTail TypeMismatch
8439f39c8129c2fbdb48a4d061c85ddb618f0e4a FiniteSetsCardinality SeqTail TypeMismatch