Index

Skipped feature combinations by plug feature TlcExtendFun

Id Case Feature Plug Feature Skip Reason
9d184dd71cbed339121a55ccb43efdd6819adf50 OneLineComment TlcExtendFun CanNotBeCase
cf9215cec3b0081f0c767b6f5e39ada9fe4c1f15 OneLineComment TlcExtendFun CanNotBeCase
708360e0900bb6bf06b594411e111711b2c44612 MultiLineComment TlcExtendFun CanNotBeCase
0c836ff42747e9695dcadb223e529d5095d43040 MultiLineComment TlcExtendFun CanNotBeCase
93266b999ab8ebce557666884632228ec41f2293 BoolTrue TlcExtendFun TypeMismatch
f41a44fb5b65c0774089ecba840e3c6d512a3742 BoolTrue TlcExtendFun TypeMismatch
5d831ec337328ff0a6b72204c7fca1c47a1576dc BoolFalse TlcExtendFun TypeMismatch
a428bf2fcb696dc4ed453df6bc0f0f03c071bdfe BoolFalse TlcExtendFun TypeMismatch
73a7541149b7165d33ba4ec7234c6c1e581923a5 BoolSet TlcExtendFun CanNotBeCase
271877ee19d3d747290470cc7849ef063b97babe BoolSet TlcExtendFun CanNotBeCase
b2384a2570191ef0ebbcfcca2605898d0640dce9 And TlcExtendFun TypeMismatch
52bc33dc3f7be36850ea7147e854c484e8afe14a And TlcExtendFun TypeMismatch
a06bb45be43f6f5e5c7dce5af6ca4c0b062f3469 AndMultiLine TlcExtendFun TypeMismatch
835814b9ab1e581b0db81560af19c9a77da348e9 AndMultiLine TlcExtendFun TypeMismatch
f727a403bea32de87942e3b70ccec31d9868d16c Imply TlcExtendFun TypeMismatch
102067c15010fbc3302810caf4b39f5e580cff69 Imply TlcExtendFun TypeMismatch
3e91b653a4676831e388103af9830cedd5f9935e Not TlcExtendFun TypeMismatch
f1035f701dbb9d90ef9cc568091665b3e373c63b Not TlcExtendFun TypeMismatch
43262ca27a25cd53c901d6a073c33425d1969433 Or TlcExtendFun TypeMismatch
12c3e3aa9ad3d64ecc85aa87431a0fe8634ae6fd Or TlcExtendFun TypeMismatch
77758e187961187fe57961720e9cd60810e6d262 OrMultiLine TlcExtendFun TypeMismatch
9c58fa1da8984ccc4eaf936a30d0aa66fd65ee42 OrMultiLine TlcExtendFun TypeMismatch
021e611ce57df0cb53f22eb8ef78168178740aeb AndProp TlcExtendFun TypeMismatch
08d35706b5a91bbfd9b2c800030a1002cfd5322e AndProp TlcExtendFun TypeMismatch
62f4cb4d8f382f880e517a13ca80b486e1f224fa Boxed TlcExtendFun TypeMismatch
fa5e80fee3d8b237da58e29308182ff77f854f31 Boxed TlcExtendFun TypeMismatch
47f8b6a8d097552459ee3c2e9bab83ccdd800d4e SetEmpty TlcExtendFun CanNotBeCase
0f74407b3af26be33bf48dfc0ee4662d4bff4ea4 SetEmpty TlcExtendFun CanNotBeCase
4b2c007d36265eaa23b059c78e4c439b27e34805 Set1InDef TlcExtendFun TypeMismatch
80dc7c4625f44d00f5b0c9a5d1fbad1f886f1984 Set1InDef TlcExtendFun TypeMismatch
ae35fd1c3cced43cd3afc5efe630d6db36c7c382 Set2InDef TlcExtendFun TypeMismatch
03439cdcc26e631049c2f4406c1b731052b9b591 Set2InDef TlcExtendFun TypeMismatch
b881ea1fd753ea4186a9da1c282ad50e601c2e78 InDef0 TlcExtendFun CanNotBeCase
938dc81778b68ea5de50d67e6aa1a848e89c261d InDef0 TlcExtendFun CanNotBeCase
d35b9b573c7419240d8928324d3c7d9ee6aff50f InDef1 TlcExtendFun CanNotBeCase
e29cc759be532dbb0dbe6b7a5313fba70cc63299 InDef1 TlcExtendFun CanNotBeCase
962099d64a6a8d6798bff41199c8b0d8dac738d4 InDef2 TlcExtendFun CanNotBeCase
f487ce2e5b5182b5ebf09d2f2595d557ab33ba59 InDef2 TlcExtendFun CanNotBeCase
ebd8acc167323539a4c343e7f42c4d8a606451e7 FunInDef TlcExtendFun TypeMismatch
92c196a25617447b0039062154b0ba423d190369 FunInDef TlcExtendFun TypeMismatch
b3db1a49ca47e31cabb561ca41b38054a2730788 Exists TlcExtendFun TypeMismatch
418bce77171a516ee9bc3c012077201b88053535 Exists TlcExtendFun TypeMismatch
8398cb57a615c1fc1654fd2611cd296953fffdaf Forall TlcExtendFun TypeMismatch
67b22db63d76b2f05bb2df6ab59da4c98ec28896 Forall TlcExtendFun TypeMismatch
14594440d717a7d35b97759a925e2f428a5db4c1 ExistsInDef TlcExtendFun TypeMismatch
c52a1fe7995cfb330ccabf51687cac4771f72171 ExistsInDef TlcExtendFun TypeMismatch
5e409c3aa15a903662b1d237f8625e47139c1ddf ForallInDef TlcExtendFun TypeMismatch
9007e7c86f38b1f35869b1d97d17206e88f01936 ForallInDef TlcExtendFun TypeMismatch
29e3b2c4ae138f8de335f88e57d01b8096165371 Choose TlcExtendFun TypeMismatch
2f5244eb6f11bb7c2f7ea2c0ba1d8e16637c6bf4 Choose TlcExtendFun TypeMismatch
1945c2b8962713b7738dc929137f04eb63f3e8cb ChooseInDef TlcExtendFun TypeMismatch
03fc8586d23be9278c646cbf03f1baec6bf80834 ChooseInDef TlcExtendFun TypeMismatch
0283ec5284ad6044265f1fe7defe99de1be79735 TupleEmpty TlcExtendFun CanNotBeCase
9bbdfd2e6429152ad25306a0ae7f70185c7d6d83 TupleEmpty TlcExtendFun CanNotBeCase
65951f74bf562a9bf8d1aefcfc5509b3bbeec5e6 Except2FunTuple TlcExtendFun TypeMismatch
86f67bc7c1397b4d5b869eb0632c3bba5c945798 Except2FunTuple TlcExtendFun TypeMismatch
15f644b054b192b887827285a1330590deef60f1 NumZero TlcExtendFun TypeMismatch
357f24dd9649ad456a4ba25b1d7a7166d73d1566 NumZero TlcExtendFun TypeMismatch
be23a86ebc675f4c7abea4b6574f5a8b740af98d NumOne TlcExtendFun TypeMismatch
6b091a849de01e75b0d04d660bc1ec1c6ca39272 NumOne TlcExtendFun TypeMismatch
89d817a99ebdd5d621e99da544662a43064b0ada NumMaxInt TlcExtendFun TypeMismatch
49a07e28f9f1fdb3ccda79b4b8550a4790154d7a NumMaxInt TlcExtendFun TypeMismatch
f6ed3c2f69879c8d6da6cafcca7bed69f746e02a NumUnaryMinus TlcExtendFun TypeMismatch
b24b926794300418678dafbf000e21555e1b7195 NumUnaryMinus TlcExtendFun TypeMismatch
732498a86b2f00e23495999d06aca5566c3255c6 NumPlus TlcExtendFun TypeMismatch
9cbf5c6f0af676ca5ef921da9b8d4460e887633c NumPlus TlcExtendFun TypeMismatch
4342fd0f15104640ac0236412dc1556a0d08d45e NumMinus TlcExtendFun TypeMismatch
30f9e2687e56e5525ca3a51bc5eaf127ba3f3401 NumMinus TlcExtendFun TypeMismatch
65afd21e7d13f9802c76c3644c96ff80759c1edb NumMul TlcExtendFun TypeMismatch
47d8c6d57a04d05f73f95f3a04df3e027e197cb1 NumMul TlcExtendFun TypeMismatch
3c263f83474538e26258c4a263e1f6845020bb4e NumDiv TlcExtendFun TypeMismatch
1a717b6b0dfdc1cfc1185a8f2f8d08c270319091 NumDiv TlcExtendFun TypeMismatch
1f9292aaf2b99e32192ee5ad407b173e27a05189 NumMod TlcExtendFun TypeMismatch
c4ae415af1b4c7b89782341175aad0c1d0ecaeda NumMod TlcExtendFun TypeMismatch
76fec51e856a89c00d338680b52835e64773b1ed NumPow TlcExtendFun TypeMismatch
667a78843068e5941691723f23634867315f757f NumPow TlcExtendFun TypeMismatch
83d93dc703bf00604c3f7331681e2e244a7afd41 NumGt TlcExtendFun TypeMismatch
38d2613a19c59ecfeeb153807d7284f8eb440a9a NumGt TlcExtendFun TypeMismatch
2d89e8ac4dec255a9e6d81203625753fa075cedc NumGe TlcExtendFun TypeMismatch
2c9e5872e9b2f5b068cfb230d265a26deee79448 NumGe TlcExtendFun TypeMismatch
413013e86192f30389aca2fec80fd1a583b0cfda NumLt TlcExtendFun TypeMismatch
6768c7898ffb75aacb859a5061e2f66e9ea674d4 NumLt TlcExtendFun TypeMismatch
cf53e51d059c59c7be6590883d66a095ac9321a1 NumLe TlcExtendFun TypeMismatch
89b745e0127c2d9482dc8f2d445189b54d8d246a NumLe TlcExtendFun TypeMismatch
5705f6a7b54114d574b799f54a4c36ceebf494da DefFunInDef TlcExtendFun TypeMismatch
1c29852614210a2bb825eb47212cd163e0190ebf DefFunInDef TlcExtendFun TypeMismatch
d30bc8b6122bf7f94329ab341ef8cd5d91c9e8c7 LetDefFunInDef TlcExtendFun TypeMismatch
5ef5b676d64fd9adda1ae3bfd55b5e4d8bb42644 LetDefFunInDef TlcExtendFun TypeMismatch
6a44daa36e66e1579aa6c66c9dc6f79e33806eac ConstantModelValue TlcExtendFun CanNotBeCase
aafb1e84c1a67f23d85a283423603c5880abc8a5 ConstantModelValue TlcExtendFun CanNotBeCase
da05d078ac49d56d9a0dab057852b7cd4d327915 Enabled TlcExtendFun TypeMismatch
fc841db75b517f1ca0dab62acd802745acff592c Enabled TlcExtendFun TypeMismatch
54b24efae8eb2c6f18e986b4ac4991466fb30a58 Assume TlcExtendFun TypeMismatch
8b4fb98e39360fbc0ca47b2e86454af93c729b6d Assume TlcExtendFun TypeMismatch
872021dfc35f5dc35a860fe5a9a3124f0087a53f AssumeNamed TlcExtendFun TypeMismatch
099c9fcee3af39aaa8124724f44245f371876b2e AssumeNamed TlcExtendFun TypeMismatch
a32423c0799c7ad1cdcd74c0074fd10d3bc79a8c Cross2 TlcExtendFun TypeMismatch
5d32d240f43ded2ab88171be8fa5443557d04962 Cross2 TlcExtendFun TypeMismatch
2526a2724edfd74870fc50fe4bd4f7ab40d65ff8 Cross3 TlcExtendFun TypeMismatch
c7be7f51a5d48605a7818dd478a740278782c633 Cross3 TlcExtendFun TypeMismatch
1a96e41da32cc939742ee7cb4164e34227b2053a FunSet TlcExtendFun TypeMismatch
4ab0df698690b2f94580648f379a02ae62718c71 FunSet TlcExtendFun TypeMismatch
92942ecdd3d71906f651c68a412ec2bb91aeb509 RecordSet TlcExtendFun TypeMismatch
84f1756cffb1f4d36f8590c0d0c30483717a4a6c RecordSet TlcExtendFun TypeMismatch
90cf10f3a61897f2141009573e0e7ae8555a7d9b SetDiff TlcExtendFun TypeMismatch
9de1dfb9895e87c17e4d516cac2fbe1105d48bf0 SetDiff TlcExtendFun TypeMismatch
dce755b434ea5de4fc65168376199cd54477467f SetUnion TlcExtendFun TypeMismatch
c23cad48447fcabb3e291910334f2b065d5d7685 SetUnion TlcExtendFun TypeMismatch
994225b3863440ed71245c79f3b46467b2dcc0f4 SetIntersect TlcExtendFun TypeMismatch
f158f5aedc8b3f81856a35c6e7a89a293e26fbb1 SetIntersect TlcExtendFun TypeMismatch
1b79b5a5bb4b429b12060e137c347ae4f938beda SubsetEq TlcExtendFun TypeMismatch
616da5eb82127451a37f38ad448bfc726e90b242 SubsetEq TlcExtendFun TypeMismatch
d989eb76b3649049286c9a851b8d65f1060bea4d IfCond TlcExtendFun TypeMismatch
a0c16638fb2477afc18da951f0ff3adf78b360f9 IfCond TlcExtendFun TypeMismatch
685404c6c01a8523df1b009093ca817459a94f06 Subset TlcExtendFun TypeMismatch
b61d45fbb9c3ab7fbaea4e84ba2c651b24f3f649 Subset TlcExtendFun TypeMismatch
8a5c0fd48692b16b56be61b1bd1b95b9cf468b6b Union TlcExtendFun TypeMismatch
559c8119dc04122ed1be52f6d1d34cebaee8cec1 Union TlcExtendFun TypeMismatch
1021697853809b8c39f2ae5617c37f2207e66037 Equivalence TlcExtendFun TypeMismatch
2c11c20bedf61b183db2c0fcacc992ad0f621ff8 Equivalence TlcExtendFun TypeMismatch
3fe335bab925612e9442dcf332547e117951ea10 StringEmpty TlcExtendFun TypeMismatch
443f07c8ba7b9139dfe4abe93d376abc219d5bd8 StringEmpty TlcExtendFun TypeMismatch
fa77299d1cda05e7c0f301491bf2e6db85fe2d46 String TlcExtendFun TypeMismatch
8cb1514ddad5d4c1fb52bd8e7c90adebe7e10133 String TlcExtendFun TypeMismatch
69987f3b734f52a8513c336ba572c79f452e2c38 SeqLen TlcExtendFun TypeMismatch
12b363a99e569b1da403464b84c6cb55358ce74a SeqLen TlcExtendFun TypeMismatch
76f69cb9f1ebeb000f76350c0a1ee27ae81e3226 SeqConcat TlcExtendFun TypeMismatch
1088a5c82753bac578412282bdf5bec972d22d2a SeqConcat TlcExtendFun TypeMismatch
fe17bdb9a12f3f9cbdcdb000b966e61d60a472d2 SeqSeq TlcExtendFun TypeMismatch
e6acba600fcdb3b6b75b01d0718aabb6e4300ca6 SeqSeq TlcExtendFun TypeMismatch
a5fe47f93fe4d9891b889a0a86d80c373a145644 NatSet TlcExtendFun CanNotBeCase
c9b9b337be6f423f2048974728e9ea8ddb6f796f NatSet TlcExtendFun CanNotBeCase
024d8c420b627565e65d2f4dd37cb30df3f545d9 IntSet TlcExtendFun CanNotBeCase
cad8448e5143bc27a71a5d10f348521e91309420 IntSet TlcExtendFun CanNotBeCase
bef64db3c3dcefb971d6a9601df21bd82c9059ad StringSet TlcExtendFun CanNotBeCase
087927424afe9fbb9a6a6b4d29b3ed97a90ea2e2 StringSet TlcExtendFun CanNotBeCase
458e0a8f089ac1a4f96f9f06c54c6831017e4062 SeqSelectSeq TlcExtendFun TypeMismatch
fdae1472022a1ac5829f77e68bd03ce65d2d642a SeqSelectSeq TlcExtendFun TypeMismatch
dc461c4dda722e9de937c57a3473da99bf8bfb9a SeqSubSeq TlcExtendFun TypeMismatch
9212c2202c0d67b63a3c095a4a1b6c461dcc3742 SeqSubSeq TlcExtendFun TypeMismatch
841b2401c0bc10ed0d0bf80337748de36f54c3bb NumRange TlcExtendFun TypeMismatch
759a9de3ce5c4674c37f716358be70d499158123 NumRange TlcExtendFun TypeMismatch
5a241a6120e0f268cd202d858ba30737bf6c372b TlcPermuteFun TlcExtendFun TypeMismatch
fd38f10b5b3f65ad582a7d1143bc1139a83d6e4b TlcPermuteFun TlcExtendFun TypeMismatch
0972b15d5c061fe6a5d26d62eb5ec336905bc233 TlcSortSeq TlcExtendFun TypeMismatch
85cf1cb09ab0769b71378bdaeb16bb6fc598ad12 TlcSortSeq TlcExtendFun TypeMismatch
29f2f7aa7ec4b924afe7201d6654ed8c0b5bedb0 BagBagToSet TlcExtendFun TypeMismatch
e78ab790f985de20ec0109474742095c1c2127e2 BagBagToSet TlcExtendFun TypeMismatch
7a219ad7ef4ded33974f779bc024b1de77cfc78f BagSetToBag TlcExtendFun TypeMismatch
4cd2636f2225d5045e77724fe0b7b97b4f6d2a94 BagSetToBag TlcExtendFun TypeMismatch
263bf7da22ebd988b64705251ec368d2ac1a210c BagEmptyBag TlcExtendFun CanNotBeCase
2faf0364a697e2e465cace6a6f3bc1fea549f7bf BagEmptyBag TlcExtendFun CanNotBeCase
e1fcb9dd35128758584344418d894ad8a0d8e4ef BagAddBag TlcExtendFun TypeMismatch
99ba5ecdd8676d4ddfd2228c0b161dc9715bc379 BagAddBag TlcExtendFun TypeMismatch
53d533fae37bf692a6328a856a5dfc28d73ce108 BagBagSub TlcExtendFun TypeMismatch
7d50644d75f6e8ecde59862a90e4c965f065a006 BagBagSub TlcExtendFun TypeMismatch
8323e98dfc7bbc064ac10a962b4f59d36f39bb61 BagSubsetEqBag TlcExtendFun TypeMismatch
bef01410db04cc0baa7e942990fa9c3f95e358e1 BagSubsetEqBag TlcExtendFun TypeMismatch
1a008e731616c74d463238e858d560da513328d7 BagBagUnion TlcExtendFun TypeMismatch
2debc4789c0015c4ae3d09fddd2bac75b0add5a9 BagBagUnion TlcExtendFun TypeMismatch
b970bf69568335105b2b9e0bf9d436dd1cfbf7bf BagBagCardinality TlcExtendFun TypeMismatch
e35be16302c412d390f079f737bea265717aff15 BagBagCardinality TlcExtendFun TypeMismatch
8c44560f158956ae386bebedd040e061675176ec BagBagOfAll TlcExtendFun TypeMismatch
423d68496416a57a1ae9bb7d8308233cf1619bad BagBagOfAll TlcExtendFun TypeMismatch
8ef6241576cc7780ceee234a708089abeab2c139 BagSubBag TlcExtendFun TypeMismatch
5d84f5ca80e052cc2ae98a76afe1270a07894123 BagSubBag TlcExtendFun TypeMismatch
c4541e66df041be9a115b2dc0d449836934da8e3 FiniteSetsIsFiniteSet TlcExtendFun TypeMismatch
0c45490339cba4d570dab98f87a29cdd82cf9cfa FiniteSetsIsFiniteSet TlcExtendFun TypeMismatch
ae3841de23975f7a3ac082a6c5fc231f9b9f435f FiniteSetsCardinality TlcExtendFun TypeMismatch
e0463837d7b5e940a534df783a88ab97637e7096 FiniteSetsCardinality TlcExtendFun TypeMismatch
7246e77017365a72746b3f1b0ef1f0d3d45ce1f8 SeqHead TlcExtendFun TypeMismatch
86052c874b7d8bd5fb09f3489076a46b0b92352a SeqHead TlcExtendFun TypeMismatch
ee509a803068d23cd0da77bca475b03aafc388a2 SeqTail TlcExtendFun TypeMismatch
35cbd9a54b5267d96c8a9e82d44cf27ea5df0ed7 SeqTail TlcExtendFun TypeMismatch