Index

Skipped feature combinations by plug feature SeqAppend

Id Case Feature Plug Feature Skip Reason
96aee5eb4a0b84f2436ac344e3eae62e327279b4 OneLineComment SeqAppend CanNotBeCase
0bb253fc5bb87c14ea2cebba4dd0ad07767c50e8 OneLineComment SeqAppend CanNotBeCase
d07bd58249c8bca05d02b6a05c18971cb185d4bd MultiLineComment SeqAppend CanNotBeCase
cbbca29ec544fa5a9b5f197b5120acf8f3b15bdb MultiLineComment SeqAppend CanNotBeCase
5fa4f37cc6abc1ae13e32e233bd48b97835c7dd1 BoolTrue SeqAppend TypeMismatch
845b8788757bf589afaf8cbeddbdd6f14cdee73a BoolTrue SeqAppend TypeMismatch
8e37281ce37f0a80fcb1fe35f4b1c5c3be086765 BoolFalse SeqAppend TypeMismatch
9649264e4add82ba9f0ef48e1910a3d1a7665095 BoolFalse SeqAppend TypeMismatch
ed0b5d01a2fccdc64ef47084b7a80940441856cb BoolSet SeqAppend CanNotBeCase
e8a227eff34461b98e647e5efcf5b1c09afd75c1 BoolSet SeqAppend CanNotBeCase
9be5f6e561f9c25aad5ac73ad03707373718933d And SeqAppend TypeMismatch
a700ffff2259b4975822cdfb4dc378ba7d4b02c7 And SeqAppend TypeMismatch
e2177b81248bc5fad26d1730e56fe332acd3be54 AndMultiLine SeqAppend TypeMismatch
ac623067c70902ad1a9149c55d6dd3336e679a9a AndMultiLine SeqAppend TypeMismatch
f2bdae1558200ae3ed4f90f53cc5d5ce4bc54205 Imply SeqAppend TypeMismatch
e2ce8146c155978277ff488256148992e1b46c61 Imply SeqAppend TypeMismatch
49083bc404bac9fac69a4db219e544ab7dba3563 Not SeqAppend TypeMismatch
f87537384218ea8e2e89f4ce2a3960cd603ef767 Not SeqAppend TypeMismatch
cbcb6b9b3d65946d21bd3e16023d52e217eb96c8 Or SeqAppend TypeMismatch
26ed4ee85020f51d2ff8b1f0516d1ccbb10f31a3 Or SeqAppend TypeMismatch
ee4351461d1f591f2a88384664df6dbe1be76797 OrMultiLine SeqAppend TypeMismatch
b7e40afe80d0c73c6855f670655da020a78f92f6 OrMultiLine SeqAppend TypeMismatch
09c2152ffc0cbe0b779bf77a556893d6b89fdd0f AndProp SeqAppend TypeMismatch
ea5a7f8ace8495a83626e8cb9755bf7ca486ee6b AndProp SeqAppend TypeMismatch
b31842606a1be25ad13b7adb597bde2af3eafc4e Boxed SeqAppend TypeMismatch
70d7c43b92088f0c04849ce75a4ff92ab5ebf450 Boxed SeqAppend TypeMismatch
ea7e40aae1f8a021dd4b65a8f6a577d7dd253cac SetEmpty SeqAppend CanNotBeCase
e00178e69ae269e2c0b2edf10b4d690a66d6b2ba SetEmpty SeqAppend CanNotBeCase
958245aa18339cdb09714115c5dad61e90ebcdfb Set1InDef SeqAppend TypeMismatch
faaf8b5060370ee3217438c8611632869ce7c953 Set1InDef SeqAppend TypeMismatch
50d3b6f97dd920c4c935fd4cc1289e2ad21fd0f0 Set2InDef SeqAppend TypeMismatch
5808f70473c96aef9a2f801f59d552eea0017d4b Set2InDef SeqAppend TypeMismatch
d86a2b48347b195f7b36a1a1c86185f5960ca9de InDef0 SeqAppend CanNotBeCase
5ee05ff84e1809338b8cd6ae0f57f036a63e31d9 InDef0 SeqAppend CanNotBeCase
52b9c2448060644925ae578cf9d9160153e00d98 InDef1 SeqAppend CanNotBeCase
ad6f72e58091033c7affd3acd36344abfade2d86 InDef1 SeqAppend CanNotBeCase
ad19e1d5b8ae9f47b1d006a4201fa926c7c021cf InDef2 SeqAppend CanNotBeCase
5f2b262c474fcd3a4aa11f6d1cb055b8368936ee InDef2 SeqAppend CanNotBeCase
a729777b490293d7298b57b6031a3710225cab2a FunInDef SeqAppend TypeMismatch
7a4eff480ee673e238836fe279d2d9cba9b643f5 FunInDef SeqAppend TypeMismatch
89602776e810ba3a48439de4936ebde374e71b24 Exists SeqAppend TypeMismatch
a14d752c9662a60c2c28dfa2c9d31388a6a203e1 Exists SeqAppend TypeMismatch
beeb0b06446b7c1a8fd4b05a17254cb9f30e2e4a Forall SeqAppend TypeMismatch
787a01e7d15f1fe69fdeabd3d812679913a7a83a Forall SeqAppend TypeMismatch
aff8e80efa4f02c3eaf7e35926f89c44f19b9b70 ExistsInDef SeqAppend TypeMismatch
17a068731a3833f78c7beb0ee8423e5daf164cc8 ExistsInDef SeqAppend TypeMismatch
b47c9490c16859f3e0bf5d2dfeb3d5da01f3532a ForallInDef SeqAppend TypeMismatch
1226d420c1ca2c9d9dd9f0b8a7cca802032c9cec ForallInDef SeqAppend TypeMismatch
be1032c8772a3f5ec550beaf82aa26274cf48817 Choose SeqAppend TypeMismatch
eff15494d2221c20975f9e4d1992becd0a319dd9 Choose SeqAppend TypeMismatch
0189efc2d14411abd90cb16687b780db99e1feb5 ChooseInDef SeqAppend TypeMismatch
f166ab44bccf4148760a1eb0bedff35a83266a07 ChooseInDef SeqAppend TypeMismatch
c701f744d05b45c3444a6518ba09cd15e4b81a29 TupleEmpty SeqAppend CanNotBeCase
78edf98a6cbe30f110654a7d9d459821ef2f81cf TupleEmpty SeqAppend CanNotBeCase
374bb75d62fb959c3d55a4116edfde813503473b Except2FunTuple SeqAppend TypeMismatch
75cbc34d55a33c7bff173ae2cf90040f81ba20fc Except2FunTuple SeqAppend TypeMismatch
768c134d9850ab1e050e1fd108a764bda14f4808 NumZero SeqAppend TypeMismatch
1bc87a1f3d6053e917124ac37e08aca5c06ec254 NumZero SeqAppend TypeMismatch
64046945a47c09c32e3cfd0e4fe5022407560010 NumOne SeqAppend TypeMismatch
3da53e75ec77eb8673e9dcb7f68feb5fed2514ad NumOne SeqAppend TypeMismatch
c695d1c74efd38996b9dcdbc58d4a13e4c21220b NumMaxInt SeqAppend TypeMismatch
507fa18ae35bac5795fb0bf09ef768ba7139008c NumMaxInt SeqAppend TypeMismatch
aa73b6410fcd81c7a952484b84a11dea8ebe5330 NumUnaryMinus SeqAppend TypeMismatch
4b5f48f0daf227bca6bae90b1b5667b26daf9721 NumUnaryMinus SeqAppend TypeMismatch
0681823545a9f0c647f96f1693bd06110ff7c5e1 NumPlus SeqAppend TypeMismatch
2676ad0366254cf80bb6b59c58bbff63e1413b34 NumPlus SeqAppend TypeMismatch
0d4ca95920ed53ee4d9116975312a48ba877c57a NumMinus SeqAppend TypeMismatch
53e1d01ec13505d65e0e0899446af3ff402a0f45 NumMinus SeqAppend TypeMismatch
df06197912675ade1607e0e270ca19112cafd196 NumMul SeqAppend TypeMismatch
8fb9c62499ed2dedd59850515ffba438efd1cd98 NumMul SeqAppend TypeMismatch
72074fde83f2922ac86195fa17291e40630fc84a NumDiv SeqAppend TypeMismatch
e94bfc86adcd564a1be7c8e63af58175cdd49f08 NumDiv SeqAppend TypeMismatch
2330aa52dfdd1d16fee0f24dca809e85152a9a28 NumMod SeqAppend TypeMismatch
ecf50dfed4adfb66b5982842a804621849684b04 NumMod SeqAppend TypeMismatch
6af0e66435db69bbbf323894f12d3f9a16e4031d NumPow SeqAppend TypeMismatch
ed6fd7330e0405c4ffc3c82234463ef966ab5035 NumPow SeqAppend TypeMismatch
64ac8aa5ed429f04fc60a7f836a3f2b189d617a3 NumGt SeqAppend TypeMismatch
e1a1c91f52b7cbe6066084721d8bae473c41b9ff NumGt SeqAppend TypeMismatch
fbe986a46ac10ae576072c0fbca66af587321a9a NumGe SeqAppend TypeMismatch
2c8b6dae82806565e0863b950086faa44f5127db NumGe SeqAppend TypeMismatch
ad95685f23e41524e3a51c09eff641a28179ac5c NumLt SeqAppend TypeMismatch
b808e3760daf69af68b32f3d95c5768832abcf3b NumLt SeqAppend TypeMismatch
d3ad715dd188087ca46c10caed416f39f519bc91 NumLe SeqAppend TypeMismatch
f5ceb95df4daec5d41fb7a848329459b673a9d94 NumLe SeqAppend TypeMismatch
24bf96582da517608cb8fd84c6aa8e217145ed7e DefFunInDef SeqAppend TypeMismatch
3a386d47aeb8997367f9a055e9aa27b8a68ff824 DefFunInDef SeqAppend TypeMismatch
9badcf6607bdf1edf99f437d1f0af507d58722a0 LetDefFunInDef SeqAppend TypeMismatch
582f99e99e1cffa96dc2e4fd1802c6be4d7cc4b6 LetDefFunInDef SeqAppend TypeMismatch
6684602e12b8710b1b0c3748033b5b23a086bcc5 ConstantModelValue SeqAppend CanNotBeCase
e9dcb3455618054fb9faab91bf0760bdc700f642 ConstantModelValue SeqAppend CanNotBeCase
14a2d18a0fdff0faf0e9eb341eac3dd757244846 Enabled SeqAppend TypeMismatch
82cb79327c0428f4059633286a36b611255507f5 Enabled SeqAppend TypeMismatch
e52aa5e6c5a8ac158147d3fad6a9610c7a12d6b6 Assume SeqAppend TypeMismatch
428608559e35970a25f7e9b2969a5b84f8089d38 Assume SeqAppend TypeMismatch
8d2845d554cd7deb3ac7edf872e0e798429e7eb7 AssumeNamed SeqAppend TypeMismatch
0367c713c1d76ba72eb489872f9ec0c2c2edcf71 AssumeNamed SeqAppend TypeMismatch
5f50b9025d597283c16764d29a67c34054e2aa5e Cross2 SeqAppend TypeMismatch
8dd38d41547d694e4841a3f41b9ea072fa361777 Cross2 SeqAppend TypeMismatch
43dbb0b64a2938d5e236c1258cc26a2b03371839 Cross3 SeqAppend TypeMismatch
444fa30f3e0ee4ddf2d12624d8ac8b2a58ecf4a6 Cross3 SeqAppend TypeMismatch
8b7c858312476cbaea03004a6ca4f9df6aa107c9 FunSet SeqAppend TypeMismatch
d0a9eeec033ae5c6c1f0d3253188a123bac6a288 FunSet SeqAppend TypeMismatch
b2da54dd7cbe74388bc1e2f5607c29b0b0768d70 RecordSet SeqAppend TypeMismatch
3b0762f8bf10e278205b42aae261c54b69ee2f8a RecordSet SeqAppend TypeMismatch
316d586de22ed4ecd768e93dcb04e03999793cfb SetDiff SeqAppend TypeMismatch
11791de5852d6526c50222b5f2e51efb96c64397 SetDiff SeqAppend TypeMismatch
faffd2b60410063747cb04a994f1525a6456df46 SetUnion SeqAppend TypeMismatch
8053182a6ca3b6ad8914e01ba7030bb290b3f047 SetUnion SeqAppend TypeMismatch
968139d79e8371518e97511a048225878749e231 SetIntersect SeqAppend TypeMismatch
e5ebccd87b052863543d5ad46589f97c1bf37ecc SetIntersect SeqAppend TypeMismatch
accd2c8da7e56e00d4113578690f4f4eab67644b SubsetEq SeqAppend TypeMismatch
3d2811619a70568bc1e38b2f12bad5cc82183606 SubsetEq SeqAppend TypeMismatch
de2a4747032363da50cb5a1a974f040898a920eb IfCond SeqAppend TypeMismatch
41156177576f2f0c4e6a67ae81fbf6c077a2c251 IfCond SeqAppend TypeMismatch
573de0bcc39aafb8c4cc055a0271345b5f521b47 Subset SeqAppend TypeMismatch
a850376d8c38d95aecd584f3f08441afd7996fe7 Subset SeqAppend TypeMismatch
557621ca80b77ee91637ccbb478015328db2d0db Domain SeqAppend TypeMismatch
a4a5b36de85dff3b1074c24353899d4237e2109d Domain SeqAppend TypeMismatch
87c7953410a9caf8da54c78ba797d88bd2834550 Union SeqAppend TypeMismatch
57205b67876d407f90b00ff818abf87d2edc18de Union SeqAppend TypeMismatch
0c4a2109377d09156c64097ed50a7cb2f4ccc0df Equivalence SeqAppend TypeMismatch
72a453cd60a0b91f6056e1f919e035fb7dc3ef4d Equivalence SeqAppend TypeMismatch
7cabc65828e36ff07a61536e05afeeb38eb22d74 StringEmpty SeqAppend TypeMismatch
076368adec3ef8ef9e62caf6432546795acd6ab5 StringEmpty SeqAppend TypeMismatch
5dd1745fca2aa3437154ae917f185f1fda23a8e2 String SeqAppend TypeMismatch
72827d80befeafd89f51c1d752b1d4123c6cfab2 String SeqAppend TypeMismatch
7225cf05f2118b864fd87abe96e8ba1e3d308e9a SeqSeq SeqAppend TypeMismatch
5962164db456be4af57ed1c4961956eb8a84344a SeqSeq SeqAppend TypeMismatch
5f5461d94e9f3f617d86ba52ee8c77c19dba1ba5 NatSet SeqAppend CanNotBeCase
f5be91af1251002d65fd0c4b8e3bdd4d2c0e0e6a NatSet SeqAppend CanNotBeCase
71d958499022da2511e25d192fef558f0ddf5e28 IntSet SeqAppend CanNotBeCase
b24f033a90c32f74c772d199eedf910e4690447f IntSet SeqAppend CanNotBeCase
f5605e0fcd5388150efda8d3cfbc9ff1cb858277 StringSet SeqAppend CanNotBeCase
834c412687bbc727b060b8364b1272096394cc63 StringSet SeqAppend CanNotBeCase
d5fd3e01a8698f75ef14774d9519fe68fe88e877 NumRange SeqAppend TypeMismatch
71264271121c5523cc57a2fbcb486a619f11b5ae NumRange SeqAppend TypeMismatch
6611a29ca2629973cf8ac7d0105d5260b6299088 TlcExtendFun SeqAppend TypeMismatch
89d5665a227624463c3fd1b3cf0a7d0dd29db7ca TlcExtendFun SeqAppend TypeMismatch
4f147327c972adf89c94ca86ef176ac1e1f83f7d TlcPermuteFun SeqAppend TypeMismatch
7869de85fd88f6bc615ff4d07bfb684b09985006 TlcPermuteFun SeqAppend TypeMismatch
b4e6f468b9d99b118bc4d7280ad4b4470991392d BagBagToSet SeqAppend TypeMismatch
b375e8941343ef8b150595c65a2aaf876817c71f BagBagToSet SeqAppend TypeMismatch
4e2b77de1c31028954aae4cf12f1024396a3c5b9 BagSetToBag SeqAppend TypeMismatch
46a558ea34c908db75036d0ef09b8b591b24d475 BagSetToBag SeqAppend TypeMismatch
b476db6cb4937a6751b44c9180e18a0576e7ef33 BagEmptyBag SeqAppend CanNotBeCase
6de46594b4b4029b07b6dee95ee875687287cd86 BagEmptyBag SeqAppend CanNotBeCase
8792b1b4f5cc490591e18b4c624391459a58048c BagAddBag SeqAppend TypeMismatch
149d49c234a6b249a759e986d16b335c1e45afdf BagAddBag SeqAppend TypeMismatch
4c02748ec39f2f4972ed953de051d174146eea38 BagBagSub SeqAppend TypeMismatch
2045e0e5f9d98bd1a869d47f635c5ccf3d391ab1 BagBagSub SeqAppend TypeMismatch
9ac87bc2909e86a6eafda4fabe413389da157652 BagSubsetEqBag SeqAppend TypeMismatch
58875e07fca79fbab6e011a16dc765cd5c2998dc BagSubsetEqBag SeqAppend TypeMismatch
82d0fa619d5b2dfc8294cd52bd4b995edd78e7d7 BagBagUnion SeqAppend TypeMismatch
62a5a39593eaad4e751072c2ec43ec9aa443093b BagBagUnion SeqAppend TypeMismatch
474233562f06a51681978519bd3f44feb92e1e02 BagBagCardinality SeqAppend TypeMismatch
20dd0f8b2b28a13a1e33f9e0e92239dc751dd39d BagBagCardinality SeqAppend TypeMismatch
65418d86469ff46608ef13a15a98bb48e2a0750b BagBagOfAll SeqAppend TypeMismatch
e94baa8e90c9b01fd9407bfc65b1ce7a1077089e BagBagOfAll SeqAppend TypeMismatch
a332dc307d5c3f153d0091cbd46c951df7e05ca7 BagSubBag SeqAppend TypeMismatch
a1500a120228e0b6a45b231dce49c5c543101b29 BagSubBag SeqAppend TypeMismatch
351d9e485fd922d478030bb1f5029f0927af160c FiniteSetsIsFiniteSet SeqAppend TypeMismatch
8efb4c6797eee8c182941e0594c14bf946881c34 FiniteSetsIsFiniteSet SeqAppend TypeMismatch
840cb5950ed4a8372d3ad7a89c5654d5591a32f5 FiniteSetsCardinality SeqAppend TypeMismatch
11aa8d722dd81f62b43545c5eabf106e4649ce6f FiniteSetsCardinality SeqAppend TypeMismatch