Index

Skipped feature combinations by plug feature TlcPermuteFun

Id Case Feature Plug Feature Skip Reason
037be333534c66068f0f993447067745fa541094 OneLineComment TlcPermuteFun CanNotBeCase
c935b5792176ddb165277d59bfe8876746fcfaaf OneLineComment TlcPermuteFun CanNotBeCase
77b61dbf9854283e35bfd3899fb9eda91485e945 MultiLineComment TlcPermuteFun CanNotBeCase
78a66fa72516904b8c62bfac4a783a91eeee7493 MultiLineComment TlcPermuteFun CanNotBeCase
6fe8615b1d37738c5d60c285b435680b8df19f4a BoolTrue TlcPermuteFun TypeMismatch
01cfbb8f7d99dc3b8753c582161da1afee163c71 BoolTrue TlcPermuteFun TypeMismatch
430ced5eaf3cb7a0763558c2b97aa552518818ff BoolFalse TlcPermuteFun TypeMismatch
9ef9a89e43ba0e0a10679adb0ba26f79cdd97a60 BoolFalse TlcPermuteFun TypeMismatch
fe494d7b34861ac6214dac1745eebd539e352221 BoolSet TlcPermuteFun CanNotBeCase
fab3245b8761bea5c847b185c9cdfb890c3397f2 BoolSet TlcPermuteFun CanNotBeCase
e10c965093917c97552dc61de30ff46a5542c745 And TlcPermuteFun TypeMismatch
defee9299dedb02698f819f78f662e1c6bb8c32a And TlcPermuteFun TypeMismatch
30f665918b2e476dc85425ae733e0a763afc479e AndMultiLine TlcPermuteFun TypeMismatch
9739dbdc4ea4b7b9e3e80779f6000195e44fe719 AndMultiLine TlcPermuteFun TypeMismatch
538a140b606f6766605703fd46cf46001e348e91 Imply TlcPermuteFun TypeMismatch
66c8fa58262e1931d24fca9331c27bb7a98de0c8 Imply TlcPermuteFun TypeMismatch
bc9d0a139a282ce1f3f52bf77cc96e531d0438a0 Not TlcPermuteFun TypeMismatch
d377dbf3efb5077e9fc3734624539c8de2a84f06 Not TlcPermuteFun TypeMismatch
371cda286d7d1b9d65e1cf482bb72cfcb1312f85 Or TlcPermuteFun TypeMismatch
e6414851adb41fc2963dec9a77ea025c4b840e45 Or TlcPermuteFun TypeMismatch
1e8b3e204f3cc1741f774a1e7ddfe61f106d81ec OrMultiLine TlcPermuteFun TypeMismatch
c36cde110b3834553da375fa67d9c8481304c866 OrMultiLine TlcPermuteFun TypeMismatch
b36f3af30b6160ffb0064ed54cf8f6f55fa441d0 AndProp TlcPermuteFun TypeMismatch
d853022bbe1be872913d91a0056786906f49e2bd AndProp TlcPermuteFun TypeMismatch
df5bf3bf93113111f56a59daccb91a45ce6ddca9 Boxed TlcPermuteFun TypeMismatch
29133467951b89523f42b3edcbfd664f59573f41 Boxed TlcPermuteFun TypeMismatch
184e412ca22abd9b1e193ac045b7a8dede9511df SetEmpty TlcPermuteFun CanNotBeCase
ae2af8cdd039912c93cc9b88aafbeb071f0b1eb5 SetEmpty TlcPermuteFun CanNotBeCase
6800eacb9c9b310bcb36ea0947d07ac898d0e5a5 Set1InDef TlcPermuteFun TypeMismatch
e96bcebdde8ae36dee8f0e86229439e4d1e1aa4e Set1InDef TlcPermuteFun TypeMismatch
2ad5c2f89af8a277dbd3a945d5a8935a680b7877 Set2InDef TlcPermuteFun TypeMismatch
fbd264d1cd4726beb37a01010bccdf0572381041 Set2InDef TlcPermuteFun TypeMismatch
b7507de6c7c143dfb93f3c3da11fb88bbee99207 InDef0 TlcPermuteFun CanNotBeCase
63afc56d0a64d747aa2ab3503761e152c1b2f31e InDef0 TlcPermuteFun CanNotBeCase
5db9ab53c5fc22d13bed85dcf0d946b6b4e3baa7 InDef1 TlcPermuteFun CanNotBeCase
1b68e400b39ece79a92529fc90b46fddecc15b54 InDef1 TlcPermuteFun CanNotBeCase
fb49cb5f5297c339135df14843033039465ac9d8 InDef2 TlcPermuteFun CanNotBeCase
04ba752724725caf9409c9eb814a5a4aac9097d5 InDef2 TlcPermuteFun CanNotBeCase
3edbeb4ecb7f587acd6a876e0890f0d553690ece FunInDef TlcPermuteFun TypeMismatch
6ce8acbe7cc6f86a9559351331e641c065f0f806 FunInDef TlcPermuteFun TypeMismatch
438050dbe24793c4b4feadd8cf632ba98ddb5d38 Exists TlcPermuteFun TypeMismatch
54f0ca77199c0b63e0e64643171827b6749a3779 Exists TlcPermuteFun TypeMismatch
4a342218be6e3f0e7224f099e5a7ffa34c97734e Forall TlcPermuteFun TypeMismatch
397220b03b66bfdfb6a04c61474d765819e554df Forall TlcPermuteFun TypeMismatch
b25012c197284d2baf5fe6200d12795037f347da ExistsInDef TlcPermuteFun TypeMismatch
40c96196a45df3bdf6c28713d4ffaba748a2d2f7 ExistsInDef TlcPermuteFun TypeMismatch
dcf1f58f1bec76ccc650ffd8d99ed7e40536be81 ForallInDef TlcPermuteFun TypeMismatch
ea1c3552dc2c9cd4feeeb6553317bbff9a2fbd04 ForallInDef TlcPermuteFun TypeMismatch
b52cc68e21707ecff0d5bd871364e2dee855c28a Choose TlcPermuteFun TypeMismatch
2986798e4bed4074a0e88edb5cc1928731f9b282 Choose TlcPermuteFun TypeMismatch
93535d38b99f2f1b651d2ea65f7fefccb951b189 ChooseInDef TlcPermuteFun TypeMismatch
8cbe47174b851f153b8fbd8b5830a9b2e25f913a ChooseInDef TlcPermuteFun TypeMismatch
31fafb1633ef2a328ff779799a0700b00b490141 TupleEmpty TlcPermuteFun CanNotBeCase
bf0cd557f7a08060c2c93c4c9b4a9839385939ec TupleEmpty TlcPermuteFun CanNotBeCase
84190470db9545dc080d20d4f3c173d91a857d4e Except0 TlcPermuteFun TypeMismatch
9d6f2c6b92f81e7ddae5c86c2e746c33925934f8 Except0 TlcPermuteFun TypeMismatch
992465e523380206c35ad8ab1300884954a87e0f Except2FunTuple TlcPermuteFun TypeMismatch
bd775dfd88e9deff7bfdb7a9cbb76c31d88bf949 Except2FunTuple TlcPermuteFun TypeMismatch
4829a8183c53bc9533dd34125275d0a113dae442 NumZero TlcPermuteFun TypeMismatch
bf39f906afc5a8556dd9155341cb597a3bf921f3 NumZero TlcPermuteFun TypeMismatch
5aa62a2091cbfebef03748c2591198ea116de3c9 NumOne TlcPermuteFun TypeMismatch
d3d1dc7f116652441dfd26c94e97b0e37c0d666e NumOne TlcPermuteFun TypeMismatch
acbbb5121cd3064f161689bb84ff33006082b568 NumMaxInt TlcPermuteFun TypeMismatch
3eed23d527129b23f363a6d6ee94b5f743fff643 NumMaxInt TlcPermuteFun TypeMismatch
743afbc19c6253c6d6aa542d174b9dc0b4c83960 NumUnaryMinus TlcPermuteFun TypeMismatch
0155c3c3e4135f008ae398dba620f82d28eac8a5 NumUnaryMinus TlcPermuteFun TypeMismatch
ee20dc4bc79048e3ddbb150cfe727195b3139644 NumPlus TlcPermuteFun TypeMismatch
176eb7812337a3679cdb7b001619260ff7381332 NumPlus TlcPermuteFun TypeMismatch
9e48ec3c7cc1044d4aada79d0fca8a147e356213 NumMinus TlcPermuteFun TypeMismatch
b90549d335eb35e09894eaac79ebc8f96757dd5a NumMinus TlcPermuteFun TypeMismatch
56039e8de014be42d7ec5b6f54fd9a27a817e76c NumMul TlcPermuteFun TypeMismatch
e308b83b3d8fc61af3b7c6d51cacbdfa7ba2d9cf NumMul TlcPermuteFun TypeMismatch
68b4c5034b1cc03b15c8745a10a9645421b2149a NumDiv TlcPermuteFun TypeMismatch
e58fd26199afbac7cbfe12fb3b26c1516d641dea NumDiv TlcPermuteFun TypeMismatch
0b3222ca4e613b608546aad27424ed201dde5bf0 NumMod TlcPermuteFun TypeMismatch
6addb03ad2c6369bd4fb37192835cb799fa6fd73 NumMod TlcPermuteFun TypeMismatch
0867250cac56cad63e59063cb668556340caaf2e NumPow TlcPermuteFun TypeMismatch
e6d2e6b40b537bc39b6c3da8938003cf673a094f NumPow TlcPermuteFun TypeMismatch
1b95384d59df09ed0afdb95c846997e6c82bec49 NumGt TlcPermuteFun TypeMismatch
c569b7e7be72cecd63d0cb9ff5cbd45dbf6c64a8 NumGt TlcPermuteFun TypeMismatch
a335ed204a797547053a531d18f9def349752a80 NumGe TlcPermuteFun TypeMismatch
6e95fceddbd8fbbd7f570ef89526200a9664904d NumGe TlcPermuteFun TypeMismatch
2a839e7f42182c31238cdc6071e5d6a13f7d3b93 NumLt TlcPermuteFun TypeMismatch
d5e1b59f16d1f067c9bb5b3e9151f38e10cfd622 NumLt TlcPermuteFun TypeMismatch
78ff9a9b03a8397537e3f82dc659e45cf4feda95 NumLe TlcPermuteFun TypeMismatch
3f6b273b8379c57c0db7f59e84ff5483b3f4b368 NumLe TlcPermuteFun TypeMismatch
fb3529e62dae7d9f44030efa79c69e139643bf72 DefFunInDef TlcPermuteFun TypeMismatch
42acf2a9c9178122343945808ae8f7247d63817e DefFunInDef TlcPermuteFun TypeMismatch
984b3932e1ef61175635f58233e42948004b4575 LetDefFunInDef TlcPermuteFun TypeMismatch
f2bee61e3357deffa2aeeada79da0db29be92814 LetDefFunInDef TlcPermuteFun TypeMismatch
d3fbaa499274edb026bfbf77a50e34d0ba7ebbef ConstantModelValue TlcPermuteFun CanNotBeCase
26133b19c02ce2cfa2fca377b457dabd3844f280 ConstantModelValue TlcPermuteFun CanNotBeCase
48638c124505f61186581a2f02135aa3e2999f7e Enabled TlcPermuteFun TypeMismatch
4450584713106c6faad4174307fcaf31cee7a47e Enabled TlcPermuteFun TypeMismatch
44ddd003bb2f42cef5b6802a72ddb50a4c1bdcc7 Assume TlcPermuteFun TypeMismatch
001431c91f4ba0d3ab5ecb96a3e340068e6320ef Assume TlcPermuteFun TypeMismatch
36f70b2eb511cf4a406cb961fa269bc0567a229a AssumeNamed TlcPermuteFun TypeMismatch
b85467fb7b9bd8fcab087c33a5de8edeaddc366c AssumeNamed TlcPermuteFun TypeMismatch
3aa37ad0aadde27dd1b087ec28d3f3d12d79fbd6 IfCond TlcPermuteFun TypeMismatch
99b2a8b732ae714e1214c3b422ee4b7cb1584d04 IfCond TlcPermuteFun TypeMismatch
c4e2363c3146bf0fc54ec29dac8de797def516fb Domain TlcPermuteFun TypeMismatch
4a5d8d339da9e2a2e258d9f0374baeed13504ee5 Domain TlcPermuteFun TypeMismatch
56edd69278bd94822c0d9d10c4484bf017688f2f Union TlcPermuteFun TypeMismatch
8847b1515d9cfcd502e3a5a8e18254dffeb917e3 Union TlcPermuteFun TypeMismatch
ebc98cfafc018aef5eb9063512406ec202202234 Equivalence TlcPermuteFun TypeMismatch
58c1d51236c44c7de43a6005875464f408187819 Equivalence TlcPermuteFun TypeMismatch
d878b4d0a955eb2b5df7e4aee87dab9072a1729d StringEmpty TlcPermuteFun TypeMismatch
d70b42173e1b53552254b9e9caf150d5600c4fb5 StringEmpty TlcPermuteFun TypeMismatch
971f32e4deff22798a57f20b5837545de8a8309a String TlcPermuteFun TypeMismatch
48b269e4ced86eeaf5b4eab0779c76bae4e81e8a String TlcPermuteFun TypeMismatch
d32c39e79fd2bfb8e177b03c8b249d00d4223a85 SeqLen TlcPermuteFun TypeMismatch
8c480ccda09947d6cdd2164008c652fc2fbf2714 SeqLen TlcPermuteFun TypeMismatch
2e034c7fbf06d83b032bbf7241402cc2548b432e SeqConcat TlcPermuteFun TypeMismatch
01251ec097f235409521a9f301ff35795b784962 SeqConcat TlcPermuteFun TypeMismatch
681d802fdd3d4c7055304b51d98c363b18685f8c NatSet TlcPermuteFun CanNotBeCase
017ecc1258ddb48556b3370d9ea72282e33da6fc NatSet TlcPermuteFun CanNotBeCase
1c3ba1dd1adb2f32169c4e0411da96dfae4820f1 IntSet TlcPermuteFun CanNotBeCase
5ac9a028fcc508af741e312cd7385c0acfa8eedc IntSet TlcPermuteFun CanNotBeCase
203547195a7b07d0e4c02658cd1c23de9fefbc5c StringSet TlcPermuteFun CanNotBeCase
2bd7cc2dea6f7397b2f3b166704838ac8cf941c3 StringSet TlcPermuteFun CanNotBeCase
d694642c400d5ed689b91c6fb90f701a9e3afa47 SeqSelectSeq TlcPermuteFun TypeMismatch
16c36871979495a909519dd962ffb1cb38e69685 SeqSelectSeq TlcPermuteFun TypeMismatch
6ff5d9164111bf48f5837ef6a790bc843d3ed022 SeqSubSeq TlcPermuteFun TypeMismatch
c3a286756c8486feb1a2839b25610bd624a148ed SeqSubSeq TlcPermuteFun TypeMismatch
fe06502ed7f6d056ec6773f378738ef0b9c51a5f NumRange TlcPermuteFun TypeMismatch
bd26345813e9bedc135998afae94904b76455dbb NumRange TlcPermuteFun TypeMismatch
c2967a6dcae0a6f982cca20d3efb20394b48a659 TlcExtendFun TlcPermuteFun TypeMismatch
3a627fef6d419060d6d6eb9d820e3cb2656f01eb TlcExtendFun TlcPermuteFun TypeMismatch
604d2f90b647664cb848e1853f01ee9ee74e22b9 TlcSortSeq TlcPermuteFun TypeMismatch
eb89fe14878981a151d52d0a95fc8c81af41bc3e TlcSortSeq TlcPermuteFun TypeMismatch
225f2440d44363c6f7aaf9150878bb856d9d30c8 BagBagToSet TlcPermuteFun TypeMismatch
c7f93fe3044ef59ce67411fc967054bada5ede5b BagBagToSet TlcPermuteFun TypeMismatch
214808cfb75a443979da1839bbd8650deaa56135 BagEmptyBag TlcPermuteFun CanNotBeCase
1ce15843ce5de043b8b5ab13df34400eefbdba4f BagEmptyBag TlcPermuteFun CanNotBeCase
30c2b50c69f35f5292592c0b8931a2bdb84545e5 BagAddBag TlcPermuteFun TypeMismatch
d130bc8c65e115a78bb5710be2dfdda04fac5d35 BagAddBag TlcPermuteFun TypeMismatch
bef0bcbd42a0d9023db1a7503d743b22f8b148b5 BagBagSub TlcPermuteFun TypeMismatch
265e9f30455c6816b8497e07a2d7684d18561b13 BagBagSub TlcPermuteFun TypeMismatch
7c9214d817e5e631d1cb3505eee5614958dd1354 BagSubsetEqBag TlcPermuteFun TypeMismatch
0facf31abbca083444af0a898694e2ba2deddc20 BagSubsetEqBag TlcPermuteFun TypeMismatch
903d4d363e1779f0394eebe4c23d541f02750ac8 BagBagUnion TlcPermuteFun TypeMismatch
c50c66c5a3053ce81a424345c4a0c49092f7546c BagBagUnion TlcPermuteFun TypeMismatch
7ea842a5bff398e04ed31fd884362e0b0fe259a2 BagBagCardinality TlcPermuteFun TypeMismatch
85f00a3b5402a82e6751854c36f60c289bcb8de7 BagBagCardinality TlcPermuteFun TypeMismatch
1c64960f71abe6a2e0dc331a1bdce7b2db4dc9c0 BagBagOfAll TlcPermuteFun TypeMismatch
8a2dd29c28da20e810dd99853473069228c379f9 BagBagOfAll TlcPermuteFun TypeMismatch
79a266db4f64ac2410908c89211823f8386997af BagSubBag TlcPermuteFun TypeMismatch
f18af27585f80edc18ecaa3aeb8e2ada2af3e4e4 BagSubBag TlcPermuteFun TypeMismatch
0e8e55a1f7b786e75efecc228924d22bf1cb8007 SeqHead TlcPermuteFun TypeMismatch
fd36dabc26f22044c915ee130d0fd881d01203d6 SeqHead TlcPermuteFun TypeMismatch
176a9b2fbb902f7d0f9bb6fc0d2605ae6b3c1f68 SeqTail TlcPermuteFun TypeMismatch
e9b8b6b0a962bd098d4981391671e023cbf2df8f SeqTail TlcPermuteFun TypeMismatch