Index

Skipped feature combinations by case feature TlcExtendFun

Id Case Feature Plug Feature Skip Reason
e76e862ee3fa02c020843884dcca2e30e8459f72 TlcExtendFun BoolTrue TypeMismatch
6754ab016d778f7c20a6d663e8a4cac7e143b996 TlcExtendFun BoolTrue TypeMismatch
e37f32822e2d1385967181e97cbff937d98447ce TlcExtendFun BoolFalse TypeMismatch
9b609ea9815b227f188df67d1db14b905bc4b545 TlcExtendFun BoolFalse TypeMismatch
c43d47c2f6508ff55e0ae4eda557cea330c4aaa9 TlcExtendFun BoolSet TypeMismatch
6e0baec1039448817618f3d36f97b56961b2078b TlcExtendFun BoolSet TypeMismatch
669b0ed97c63042cf8c425fdeb848dbf21692bfb TlcExtendFun And TypeMismatch
df443132a1d3080b73e6a445c1358a6c454f072b TlcExtendFun And TypeMismatch
b478adaacb9cb0690fceb11d9ecba91f4e3ef1d6 TlcExtendFun AndMultiLine TypeMismatch
94007322fcdb3292616d99cc44a9bdcb68cd26d2 TlcExtendFun AndMultiLine TypeMismatch
5d2a0566c8f6506eee304720bd03a1c674da8f33 TlcExtendFun Imply TypeMismatch
8193749cb066bd745a0e127fe36af26e6d3634f6 TlcExtendFun Imply TypeMismatch
b8a009c44c746e7df35835d7259ab869b36b2c48 TlcExtendFun Not TypeMismatch
e63afaa26032496ae95774456cdef8821b12f67c TlcExtendFun Not TypeMismatch
848a9606bb8499e47764c22a1c2e05c6abfd994c TlcExtendFun Or TypeMismatch
37c4a9aeeda45c4b0a560d3f03492b49a53dd403 TlcExtendFun Or TypeMismatch
b52f69d8c8acfc62a7d1bceab9816c67e328925e TlcExtendFun OrMultiLine TypeMismatch
72e219e00251c1d1511bc30b2e81fe6511c56ceb TlcExtendFun OrMultiLine TypeMismatch
c145c1bc695523a1bffa60e9fa50691af7e1e603 TlcExtendFun AndProp KindMismatch
c949cc8771b48de334482d4b98b587d6ab269077 TlcExtendFun AndProp KindMismatch
b5dc3c6171ce373d30d2d4d455b68a0e292802a0 TlcExtendFun Boxed KindMismatch
bd4d402f351a1706449742ebb632ba998b669f3c TlcExtendFun Boxed KindMismatch
fcdd5f7b64fe072ebd64c41627ab724b8d00739a TlcExtendFun Eq TypeMismatch
3e7b91d90cd137690038d96592af41ead46fc58d TlcExtendFun Eq TypeMismatch
4f6ea3166df947d168b5899d0a191a3f541dd8d3 TlcExtendFun Ne TypeMismatch
d186bb178fa512b8d1575263c25ab64173ffe7e1 TlcExtendFun Ne TypeMismatch
39779c125b33f401314df34fee3da165e5193b84 TlcExtendFun SetEmpty TypeMismatch
b1fdd697050146aea4addf4af4c68d6e8e049413 TlcExtendFun SetEmpty TypeMismatch
a771fb7bea291002187e457c0069057c475f6137 TlcExtendFun Set0 TypeMismatch
103cb52c930760840dcf827e2546d2c6354119e3 TlcExtendFun Set0 TypeMismatch
ee01c23d77d3360d43a592a4da6f0f236362c75c TlcExtendFun Set1 TypeMismatch
c9a02c9055d529f7871bb07d894b255a8eca567b TlcExtendFun Set1 TypeMismatch
fa0c12fc0769b7b1b8517db3b41dcf95af9268dd TlcExtendFun Set2 TypeMismatch
c1e6e85eb535ae5eea7313d891413ce5863b75b2 TlcExtendFun Set2 TypeMismatch
3fc7cf147a16d68c746e10d4176d489399f7b196 TlcExtendFun Set1InDef AlreadyCombined
fd2e30ba31316c94a7af3655443951f44791bf9e TlcExtendFun Set1InDef AlreadyCombined
2d2fd6182a1d158aa0a9e88cfaf34a58382f522b TlcExtendFun Set2InDef AlreadyCombined
3975f2b199087696c7e806f3729150f0529a3282 TlcExtendFun Set2InDef AlreadyCombined
266c10195212ab219a61a1d4baa96545ec0674ba TlcExtendFun InDef0 TypeMismatch
fb7e4720877e010c190cb7654a501878f2d95285 TlcExtendFun InDef0 TypeMismatch
c9f488c0ed9f01d61ead2c294b7529ad71f5d68b TlcExtendFun InDef1 TypeMismatch
3d0cc13bec45521fb33efd5f6f79e9a36ef7ae4e TlcExtendFun InDef1 TypeMismatch
c6ef2bdb0ba62d6c76fdda9f51324cc7d1d794a7 TlcExtendFun InDef2 TypeMismatch
67f942d263dcb269265ffbebab6a3ceb5e6b1c6b TlcExtendFun InDef2 TypeMismatch
938eb4e8a8bbe0211ea50fd33279387c29842619 TlcExtendFun FunInDef AlreadyCombined
6d22c96234639ac7152cbc2ba9f6a741a69d1b3a TlcExtendFun FunInDef AlreadyCombined
cc24696360b251967d5af9a7247a0e8f1d33c19d TlcExtendFun In TypeMismatch
5f3574dfe5d30518a7e42ffb81357fcb15a0768f TlcExtendFun In TypeMismatch
51b297ce3ab4b05f61441c0b20f33e64a94e5f21 TlcExtendFun NotIn TypeMismatch
db1983b23b21e60d43b2359f90362aebe6888390 TlcExtendFun NotIn TypeMismatch
85d12358394e312320487e7d45d235e71ac59083 TlcExtendFun Exists TypeMismatch
b73f49af755ac7212facfaedb4961e90e4513cae TlcExtendFun Exists TypeMismatch
fce8c4a4b082740582ac7f7624570b2098ddf78a TlcExtendFun Forall TypeMismatch
02050b8388a9a86e1a612c370676cacb57a706a6 TlcExtendFun Forall TypeMismatch
02bc6c374cdc68346991575bce3c04fb9dea38d2 TlcExtendFun ExistsInDef AlreadyCombined
3c742dc32025fe8c2d99de7de7add3e6e627b3a7 TlcExtendFun ExistsInDef AlreadyCombined
ce455a4f0bcf98b780bdab8ad1325d27aeabe1a1 TlcExtendFun ForallInDef AlreadyCombined
42e133e0ae48313e182713f35092031df404260f TlcExtendFun ForallInDef AlreadyCombined
0c9bb2b260a3533eeafe2740d5204792bc2a255c TlcExtendFun ChooseInDef AlreadyCombined
399ecbbb8585fe0dc0b2d5c981a8d5afed3ef208 TlcExtendFun ChooseInDef AlreadyCombined
275e96eb6eb3b48a0fc94e4c6aa8160326dacdbd TlcExtendFun Record TypeMismatch
3d8a819e5c7129e82dc8751e01d20d313b156ab8 TlcExtendFun Record TypeMismatch
b5abbbe3098ea38d394f51a7e09337f0e43a80b5 TlcExtendFun Tuple TypeMismatch
ad99952a3370385a3e333b3725a84089a7eb2258 TlcExtendFun Tuple TypeMismatch
28f2462c27425d7008124a464b842e6b2e31e60a TlcExtendFun TupleEmpty TypeMismatch
4c103e76eb01819e7e56c86d2e10e69dc13741bc TlcExtendFun TupleEmpty TypeMismatch
0004d39e316893cf9e9a4a9f5f303e0fd11c6819 TlcExtendFun Except0 CanNotBePlug
9b779874b930ae4facc029c9529e12d048edbdcf TlcExtendFun Except0 CanNotBePlug
da0c4e3acb3806bd4c30e7b5b2cba5699b4e0f2b TlcExtendFun Except1Fun CanNotBePlug
bd18f6f69fbbe6bfe390d88059574daeb0c4e789 TlcExtendFun Except1Fun CanNotBePlug
dc830be1b7dac99ec3159eee1c709d02d5fc7e79 TlcExtendFun Except1FunWithAt CanNotBePlug
f3efcc758bfb9aed4e52783fed32cc2ec5c1993f TlcExtendFun Except1FunWithAt CanNotBePlug
6106e0db30a665e2d146c18ceed557d4bc524c21 TlcExtendFun Except1Rec CanNotBePlug
e01f7f212007697c3187b1af0b5dcfc32391c208 TlcExtendFun Except1Rec CanNotBePlug
990c9a19593a54a97c221a1e04f6f3a750a09a76 TlcExtendFun Except1RecWithAt CanNotBePlug
2a87cac95ae3ce35991b83af13736d039e91364b TlcExtendFun Except1RecWithAt CanNotBePlug
554ad7d7900d7034e676753b3aa436516126e556 TlcExtendFun Except2Fun CanNotBePlug
2918bae5fbc1a8683edd552c31c6eeaa48edadaa TlcExtendFun Except2Fun CanNotBePlug
0996083b3b5face3d6fed0516ed4bb606a209a9e TlcExtendFun Except2FunTuple CanNotBePlug
aa736ed4c672450c0266d9dd7e5f69e7700f3a0d TlcExtendFun Except2FunTuple CanNotBePlug
62a0714bf6c3b3982a8c763aa45fbef67d6be8b5 TlcExtendFun NumZero TypeMismatch
cd6adca73f8444146912b034f88ce2393df50429 TlcExtendFun NumZero TypeMismatch
e74c93859456cff224bf8378ecdf3345d2381bd2 TlcExtendFun NumOne TypeMismatch
3e10493bb9ada1b7564a09128df6b4d60021d429 TlcExtendFun NumOne TypeMismatch
5bfd7f630610fa9a6b3f22a1dd414ffd88b9ebdb TlcExtendFun NumMaxInt TypeMismatch
ff2d49045842345d58fb18157e8c306e61222474 TlcExtendFun NumMaxInt TypeMismatch
95d1068c19c4f22939f555ea80de806f8f4a9b7c TlcExtendFun NumUnaryMinus TypeMismatch
722dc511e8b37899c7c17bdfcd6fd7b587542aa5 TlcExtendFun NumUnaryMinus TypeMismatch
1a68ebe8a040da7703da2f9f689d25b8061dd167 TlcExtendFun NumPlus TypeMismatch
153a35bf27d747c9bb5bb35bde7a5bd387f8f12c TlcExtendFun NumPlus TypeMismatch
74bfff7539faaef21aacce8f27ea104f391a3111 TlcExtendFun NumMinus TypeMismatch
193412c2a28a352784911582d407d8f11df87612 TlcExtendFun NumMinus TypeMismatch
7444cb10216fe41bab7ffb979f8f50e08b611dd2 TlcExtendFun NumMul TypeMismatch
454defd4c04c145ecccb51434dcfa0d8bf6ca15a TlcExtendFun NumMul TypeMismatch
d7b4d27beab9cbfecd49c6538f810f5f3c76f68a TlcExtendFun NumDiv TypeMismatch
848e7f517a85f48a0d347f3709a03eaaf7eb9a32 TlcExtendFun NumDiv TypeMismatch
288037405f434c5611cb98aa860626f4dac77e28 TlcExtendFun NumMod TypeMismatch
d7ee1d62e518a3717461ad7e196e81f3abf1479e TlcExtendFun NumMod TypeMismatch
dbd58e315b0ebec6c73ca1f878c2bf0487684b84 TlcExtendFun NumPow TypeMismatch
6ecabacab705bdf57e48b874750d925661679284 TlcExtendFun NumPow TypeMismatch
7cb367f772548b4c65a0a50f7ffe3fea2dff927b TlcExtendFun NumGt TypeMismatch
c70161055db892e7819327fdd6664e83f0e5ee0a TlcExtendFun NumGt TypeMismatch
0f0ae7231736ed5c76315585355437325541cf35 TlcExtendFun NumGe TypeMismatch
c2cff3ec4ba2fa8ad12c30af04fba9134cb54b8e TlcExtendFun NumGe TypeMismatch
063128e9ed2b99e13476fcde51cd2438e2819247 TlcExtendFun NumLt TypeMismatch
9dad4f4b31d05a1d9c3a01ec4249c7c24264ad1a TlcExtendFun NumLt TypeMismatch
232a9eada3183b56787e5d4ef20a85d643e054de TlcExtendFun NumLe TypeMismatch
49d861db3b1aef5be81f430276af19accf64f624 TlcExtendFun NumLe TypeMismatch
f68dde9386d1f3fe7f969ba470b2042db811e5a0 TlcExtendFun DefFunInDef AlreadyCombined
552a34b1dccc037fcdae9038369dcf6ee723595f TlcExtendFun DefFunInDef AlreadyCombined
d0b1dde7cfe43e2bffdd3be7b5b011cf51b89106 TlcExtendFun LetDefFunInDef AlreadyCombined
8786ce2b2636b609c11a06abbfc2d8b3e3599ffd TlcExtendFun LetDefFunInDef AlreadyCombined
2fb096aaeacf58883cc8bdc4c578252c5a948275 TlcExtendFun VariableViewExclude VariableExcludedFromView
7f2ffb48ccfac3ff97e83a788a50c2f879822a0e TlcExtendFun VariableViewExclude VariableExcludedFromView
c94cd6db6f5597f75668a17be56f3b015be09050 TlcExtendFun ConstantModelValue ModelValueCanNotBeUsed
f9c100cbc3548de492b04ff20d7cf3c45bd5e544 TlcExtendFun ConstantModelValue ModelValueCanNotBeUsed
5b17343be49bbca97642cf1471d858c5d29395a2 TlcExtendFun Enabled TypeMismatch
852b68ca59af45f42b833891fccc46976c3bb2ab TlcExtendFun Enabled TypeMismatch
b55b692a3e03573a3ef902893717b6cc70909775 TlcExtendFun Assume AssumeIsNotEmbeddable
5123ff17d09e93b1672d67f2c939a1329369cde5 TlcExtendFun Assume AssumeIsNotEmbeddable
43cedf2afea957cc1898451ba905a287152a6ad8 TlcExtendFun AssumeNamed AssumeIsNotEmbeddable
35ea1fe776daf6600c60ab0a7f584cce332db688 TlcExtendFun AssumeNamed AssumeIsNotEmbeddable
3ec348ab461505955015a8b1a24d5b8cb91f1a70 TlcExtendFun Lambda TypeMismatch
9c4648da2c4e2be8082b9e8a4af2f16227c8aff9 TlcExtendFun Lambda TypeMismatch
ba4c868ec731771c8a86868a96f1a959c24916b2 TlcExtendFun Cross2 TypeMismatch
9498be30ddd9ba03ac19c35ed3a5b673d76f56d1 TlcExtendFun Cross2 TypeMismatch
5627a28831bbc3f0327b433173b4c1ef7414d7c5 TlcExtendFun Cross3 TypeMismatch
43c76e8c3c580278912c6365e1304445ed24ee13 TlcExtendFun Cross3 TypeMismatch
8baba80b3a9d0274eb4b3c9d7d6cc06972227b4e TlcExtendFun FunSet TypeMismatch
4139bd63d1e7c495ee644bc5f4d0c488c55c6345 TlcExtendFun FunSet TypeMismatch
2c90067d4312114b71794372f93e7602c3f6dc26 TlcExtendFun RecordSet TypeMismatch
dfa7379a2c7a01b513758e63849b20eff53c812c TlcExtendFun RecordSet TypeMismatch
b84a7344b11fb751b10ea8044db8b334dbe058bf TlcExtendFun SetDiff TypeMismatch
f83c5655318c90d1b78ec9d5736e4672c27078c8 TlcExtendFun SetDiff TypeMismatch
8cefe5f14576141800aebe679e9efeb7380d7790 TlcExtendFun SetUnion TypeMismatch
5f4cd49afbb92268d4dc6a5fe7fe92512d5814b1 TlcExtendFun SetUnion TypeMismatch
00ccfb7b3e3125774b43012fca863115dc44b54d TlcExtendFun SetIntersect TypeMismatch
5f6e4d3248524dbebf1708b387ad0b3f17bd14ad TlcExtendFun SetIntersect TypeMismatch
4050b399bc2757613cc1dedf835b3d1d2649216d TlcExtendFun SubsetEq TypeMismatch
a08d3d0f9121426b890f5098a8607c462586220a TlcExtendFun SubsetEq TypeMismatch
4bd04e7ce601bb990521820e6e30bb65fd79f307 TlcExtendFun Subset TypeMismatch
b01a210e46f2541ff2047214290d9b72ac56729e TlcExtendFun Subset TypeMismatch
740e794d34f05c5f98713de3c645f2af2f427243 TlcExtendFun Domain TypeMismatch
fa4ebb73dac20c57c5b2de94d241e60a384019fe TlcExtendFun Domain TypeMismatch
da276133455f9652c8653da5a92ff7b1808865a3 TlcExtendFun Union TypeMismatch
f306d1b8cac2cc1ffc973d9ab2345d6aad65b52d TlcExtendFun Union TypeMismatch
d5677dbb4cf6e6f9d3004b58243e4be6b2c7851c TlcExtendFun Unchanged TypeMismatch
0e55e8414dafe7746510bc368d2bfbe319783c0a TlcExtendFun Unchanged TypeMismatch
89b8a894973db1669adccf086464db5c3fd90c86 TlcExtendFun Equivalence TypeMismatch
7d69259e3c75f3d4f1374485e1f5bb76f897d0cb TlcExtendFun Equivalence TypeMismatch
bc35e8fa549bc5c5e192ba8aa65427891a333c81 TlcExtendFun StringEmpty TypeMismatch
c3f28c4ee963dae0cc15cf722d8210f78a811234 TlcExtendFun StringEmpty TypeMismatch
394f6c5c515daee2f56fe1bd0b5aa3f398fa893e TlcExtendFun String TypeMismatch
dc7d8a84c896e8944d66249bf9119973b5207c3b TlcExtendFun String TypeMismatch
d4b6a92723b330f639ef7e9e065d4cad508e9fef TlcExtendFun SeqLen TypeMismatch
dd9fc6648c50a7fb8a3b4f5be97680223a2532a1 TlcExtendFun SeqLen TypeMismatch
7c29856537160ab145e043c4383c2f0ad51d3fac TlcExtendFun SeqConcat TypeMismatch
2d8c111de31f1a4853a67f4a33854b8ba94accda TlcExtendFun SeqConcat TypeMismatch
8b517a38b92dde098a1706f7dac601e2bc842bfa TlcExtendFun SeqSeq TypeMismatch
c927620f8f704fbd3a9d6d4358a0652971cc21f9 TlcExtendFun SeqSeq TypeMismatch
fe4e2408a3c7b32f257c0c17e317da0797e6b767 TlcExtendFun NatSet TypeMismatch
7416aca7c982d5c517ccbcde18f0d3488dee9d30 TlcExtendFun NatSet TypeMismatch
0772010488baded5862f590ad5ef6218c6ccd2a4 TlcExtendFun IntSet TypeMismatch
29d0294c719578d91a8cb9be503f93065278a60e TlcExtendFun IntSet TypeMismatch
317cb29130177a352a44e6b31fed8d1b90c21cb6 TlcExtendFun StringSet TypeMismatch
c88f2e8813005f1bd9231874f6c71e8fc0856bee TlcExtendFun StringSet TypeMismatch
61eac99bca8de550ba26cd855d265b848919edbe TlcExtendFun SeqSelectSeq TypeMismatch
1ae038118773a9380b2b2943b5118769086ad38d TlcExtendFun SeqSelectSeq TypeMismatch
b0d12ae1f7a6eb0423e8c705e1add75d3cb0b96d TlcExtendFun SeqSubSeq TypeMismatch
7f7ec7a62374e5403b110f7e1d5e58a7738413f9 TlcExtendFun SeqSubSeq TypeMismatch
7de6578d8651a91006e9f21f159baf61c061cb94 TlcExtendFun NumRange TypeMismatch
d23e388252a8879e5cb8a6663a79200ca325d9b0 TlcExtendFun NumRange TypeMismatch
c2967a6dcae0a6f982cca20d3efb20394b48a659 TlcExtendFun TlcPermuteFun TypeMismatch
3a627fef6d419060d6d6eb9d820e3cb2656f01eb TlcExtendFun TlcPermuteFun TypeMismatch
69194afa2834ed4df59aacb0a72a515a8b8793c9 TlcExtendFun TlcSortSeq TypeMismatch
7b703ad27b2d61261e71f3fb481108591ee0112f TlcExtendFun TlcSortSeq TypeMismatch
a56738d4fe7d57207c79dcf111a98f0dc1b2e6b9 TlcExtendFun BagBagToSet TypeMismatch
e7cc286bf8681c0986d902cb9fcec6021d2e078c TlcExtendFun BagBagToSet TypeMismatch
5e67de11bf0245906cbd7a922df80e5a6130a7ef TlcExtendFun BagSetToBag TypeMismatch
3285a47a9fa9c4f14a5618cdae4cd75828c5af82 TlcExtendFun BagSetToBag TypeMismatch
b18aace866d2c9b9a941049a86eb82abce8c29e2 TlcExtendFun BagBagIn TypeMismatch
835b3b61ca5e106d1b0fc790a2b95b3eaabcd379 TlcExtendFun BagBagIn TypeMismatch
535dbb002937b52ee03435793a90385ebdd05a71 TlcExtendFun BagEmptyBag TypeMismatch
92fbaff9d94ad0ef7421b4a244ccd1701324aeb3 TlcExtendFun BagEmptyBag TypeMismatch
e9f2d979f7f6279520a2fda8cf286142895ffb67 TlcExtendFun BagAddBag TypeMismatch
f818e8005ee2f7035470c42d108ce05c63b02ba4 TlcExtendFun BagAddBag TypeMismatch
66352015883ce032aab788f6aa439117b3ab7e68 TlcExtendFun BagBagSub TypeMismatch
6b91f80765000da98848ca62404bc4f2632bb0d7 TlcExtendFun BagBagSub TypeMismatch
94342cd01f0f39db4fcd94881b8c79a7cc7e1251 TlcExtendFun BagCopiesIn TypeMismatch
bfbc605580daef6fe3d0b5778d89c8f518690fea TlcExtendFun BagCopiesIn TypeMismatch
457d17b50931f21c2a5cae44e941da86d3174906 TlcExtendFun BagSubsetEqBag TypeMismatch
701157bc1dcdd3833adccf3066c02d8766813ecf TlcExtendFun BagSubsetEqBag TypeMismatch
e1a8f65f7781bb09314e8d758cbb0a400fc0865f TlcExtendFun BagBagUnion TypeMismatch
c3584b685dff52bfb53d14c391060f050827e931 TlcExtendFun BagBagUnion TypeMismatch
28a3db3d9e8c57a9ce4f12e3d77cb8638377db78 TlcExtendFun BagBagCardinality TypeMismatch
75f4a7ad433eb66636d4bb84998fa185deae3556 TlcExtendFun BagBagCardinality TypeMismatch
26091b2412f0564358aa730072d35572a48c3e65 TlcExtendFun BagBagOfAll TypeMismatch
a90b258291d6bf1478b7ab2f685176e7c8654311 TlcExtendFun BagBagOfAll TypeMismatch
bd682e458476459fd3d88a5fddf420e1153f9698 TlcExtendFun BagSubBag TypeMismatch
195cff91eb5af27b909c874c3294d6df4401b590 TlcExtendFun BagSubBag TypeMismatch
9a58ffb4d68fb8f0dbd5b62f5612dc3cd6fa8c3b TlcExtendFun FiniteSetsIsFiniteSet TypeMismatch
dddc3ade24bc5ebb1d3dba91334052aca6892782 TlcExtendFun FiniteSetsIsFiniteSet TypeMismatch
cf8060180fa35f7807536579d757f065153591aa TlcExtendFun FiniteSetsCardinality TypeMismatch
15cabc1b6553490b56fecdb8d4b7a0c9da94b744 TlcExtendFun FiniteSetsCardinality TypeMismatch
f6efb5eeba47e75bcc5b07ef68cb0f9d1193890a TlcExtendFun SeqTail TypeMismatch
848ca4d99be7dd0d83e1fedebc96ff6ea507397f TlcExtendFun SeqTail TypeMismatch
6611a29ca2629973cf8ac7d0105d5260b6299088 TlcExtendFun SeqAppend TypeMismatch
89d5665a227624463c3fd1b3cf0a7d0dd29db7ca TlcExtendFun SeqAppend TypeMismatch