Index

Skipped feature combinations by plug feature TlcSingletonFun

Id Case Feature Plug Feature Skip Reason
2a772ab3db2f59f317b787fa4671112a910f251a OneLineComment TlcSingletonFun CanNotBeCase
b0e9fd07a6f8bbce1617ad0c02d6071cbb1d9260 OneLineComment TlcSingletonFun CanNotBeCase
983877599aa5e2366aa6bd2d0923ed305c9bb0ed MultiLineComment TlcSingletonFun CanNotBeCase
6f3d5bd4e4d43c02300b80b2fad9e45949d6ac55 MultiLineComment TlcSingletonFun CanNotBeCase
1e9ededd21b1a71fea420056dc44e3ff7ffc1e60 BoolTrue TlcSingletonFun TypeMismatch
3aa79b295f91b1bd22238952e944f80b092e988a BoolTrue TlcSingletonFun TypeMismatch
8e21e8a95159b51a5db632d4a9e63d796a35163a BoolFalse TlcSingletonFun TypeMismatch
5e921b0b6eb3ce7c338c2a4baa160f22cc1907b2 BoolFalse TlcSingletonFun TypeMismatch
6bdb2bfc50710651df2e37f451e2c17de3ad67fb BoolSet TlcSingletonFun CanNotBeCase
1391e06df6fec22dfe19e08ae1e63c051708fd3c BoolSet TlcSingletonFun CanNotBeCase
9fef5a777f6d2014c896dde8e7a35e98cc9a6090 And TlcSingletonFun TypeMismatch
2b308a3b7bca71533ee6fd7cb2ee702ff1c065bf And TlcSingletonFun TypeMismatch
a9a9b26b0050fcc44563f25619baa50940f59cad AndMultiLine TlcSingletonFun TypeMismatch
2cfd91753e5e530cd5dfc3f81ad00a61ca0f2b4a AndMultiLine TlcSingletonFun TypeMismatch
d95a19c2d856965b579058bdd57ff909a5b79d08 Imply TlcSingletonFun TypeMismatch
23b845d1c216f77a6f6540ccfb154b193baad0ed Imply TlcSingletonFun TypeMismatch
b17e0dc93c21445870b9b354aeef411414ec12e6 Not TlcSingletonFun TypeMismatch
2ab3de633981e10d6f5b8c3d6d7c999eb994718c Not TlcSingletonFun TypeMismatch
0389c052777eb9444da20fcec3ace2e624e3351e Or TlcSingletonFun TypeMismatch
d42505320e3678233153810ee7ba5209f28ff421 Or TlcSingletonFun TypeMismatch
baf90dda1afc7bb23291605d5f903f488bf7c58c OrMultiLine TlcSingletonFun TypeMismatch
2baf75ec5d40119d6fdca9af6c4e9003f4226965 OrMultiLine TlcSingletonFun TypeMismatch
bf2b9e8dd1889a7d8eb737aa15b008517cc8276d AndProp TlcSingletonFun TypeMismatch
737a67be8f9eb271086de4e1f09095b0285b541b AndProp TlcSingletonFun TypeMismatch
9187c6beb59fe21241878010db70d865dadeb2a3 Boxed TlcSingletonFun TypeMismatch
9e6fbaba35a575626a1ac3fc55689c0ab8b63916 Boxed TlcSingletonFun TypeMismatch
dab8196ca422edf3a6c494410ca27593cdf5b129 SetEmpty TlcSingletonFun CanNotBeCase
ce306f47be6d345a543d62984ec3448cc419d58d SetEmpty TlcSingletonFun CanNotBeCase
d1f8f2ec248b3fe8909a4adf0aff84af004a22a2 Set1InDef TlcSingletonFun TypeMismatch
9233685f3660634c28d6e95825d6ca39b04abf4c Set1InDef TlcSingletonFun TypeMismatch
81672c5894c084725bd2462a46cdddce64c59392 Set2InDef TlcSingletonFun TypeMismatch
3f2e22967013d979f36fb79806f86a720f79abff Set2InDef TlcSingletonFun TypeMismatch
c659573302ad1591e146eada0f0a556158123dbe InDef0 TlcSingletonFun CanNotBeCase
f9b2032f03f2f5c6269b1aad3217089dc328474f InDef0 TlcSingletonFun CanNotBeCase
3638b552db9b717aac87a3ca941a130366a76ba0 InDef1 TlcSingletonFun CanNotBeCase
83bab95566f052ba1decae0f817646aa484b5610 InDef1 TlcSingletonFun CanNotBeCase
7d523c930da108be0d314fc4117cee3a502fb775 InDef2 TlcSingletonFun CanNotBeCase
047fb5ae0e70be891d1fe51b0e437b167b0fc36a InDef2 TlcSingletonFun CanNotBeCase
8c036db500f2b0288a52e120d747bb0bfabccf5e FunInDef TlcSingletonFun TypeMismatch
175f2b77058e6bcccd0b9a62d16b37a5da760d9c FunInDef TlcSingletonFun TypeMismatch
d70d1bdd624edf767e645c1e550d4fcebb8536e5 Exists TlcSingletonFun TypeMismatch
e97ae69a1aee89320fdf78461d942fa78564bc81 Exists TlcSingletonFun TypeMismatch
fb9e7cba97f842cf6860419e128d0344c473e8a5 Forall TlcSingletonFun TypeMismatch
60c66d0488a41a464114283165096fb70c6bd0cd Forall TlcSingletonFun TypeMismatch
66d3e476e84bf40cd7f352374daea7ee91b7ac88 ExistsInDef TlcSingletonFun TypeMismatch
e3ec8b3b5da739ae47ca0c7e85b523a25b4959fa ExistsInDef TlcSingletonFun TypeMismatch
af21effe47cbffa1c5764aee5f061e2226d5750d ForallInDef TlcSingletonFun TypeMismatch
9f85863105273c746eb8b8ccc8f2849479a7b8b2 ForallInDef TlcSingletonFun TypeMismatch
14ff27f2131fa721f655ea94d11c031cf470ab32 Choose TlcSingletonFun TypeMismatch
a2e114bc338feb2cdd4e467a67cbd5ffc65154cd Choose TlcSingletonFun TypeMismatch
92e1efb3eadcc1dea167914503eba689452129d3 ChooseInDef TlcSingletonFun TypeMismatch
6fd44bee810316fded597f2c51c2afbbe74bb87f ChooseInDef TlcSingletonFun TypeMismatch
18c71d23c68071cebfd6ba1591094e2ab4f905e6 TupleEmpty TlcSingletonFun CanNotBeCase
94493bcdd75b6b1e29a2604f74158cbc070c1664 TupleEmpty TlcSingletonFun CanNotBeCase
ea9684d37bf2e2afac8355ea33bc6b8858c95bea Except2FunTuple TlcSingletonFun TypeMismatch
1dedb4868fb6895dd82c0f3d6353fba9042512e5 Except2FunTuple TlcSingletonFun TypeMismatch
4ab012febeb7b1669d4457da3331b6f7385db61f NumZero TlcSingletonFun TypeMismatch
53c3cc30e6e58ab5f5727049df87ca85b314a849 NumZero TlcSingletonFun TypeMismatch
f06afca0ed33b65459a2a657d02981b179e7da01 NumOne TlcSingletonFun TypeMismatch
cc95a3affb07d3254c9fa17192f5a2ebb406ce4b NumOne TlcSingletonFun TypeMismatch
78080652286efcb417ffb14f339148abf150480c NumMaxInt TlcSingletonFun TypeMismatch
f7e69d141c9dde845efee3020c0996c9eeca847d NumMaxInt TlcSingletonFun TypeMismatch
342248659f651e84f4fac4758dc8d89849bc8e03 NumUnaryMinus TlcSingletonFun TypeMismatch
3f293fa0077f38bff478bf31d28249660da8b209 NumUnaryMinus TlcSingletonFun TypeMismatch
88433a0b2c6dbf16e640bc1426ceb1a8b5bfcae6 NumPlus TlcSingletonFun TypeMismatch
b2fece91bab630440bd6c16bd9c1b5c8d7d5e85a NumPlus TlcSingletonFun TypeMismatch
4e442261ec42430ec0c302b61a424fd8d600cff2 NumMinus TlcSingletonFun TypeMismatch
0e4adf74d1832daf2f56cfb5e990e903b06fc2ca NumMinus TlcSingletonFun TypeMismatch
0bb1a1420d9a3d1bd79103d807e169cb8885b944 NumMul TlcSingletonFun TypeMismatch
6557ceb16bd55a7f5de68a08968576b1448cb71f NumMul TlcSingletonFun TypeMismatch
4d0bdcacfff16ef744fad42f09f06cf2d5d98d37 NumDiv TlcSingletonFun TypeMismatch
1de540c018d220ec7ebc4ab0e0b9bc9d7cf341c6 NumDiv TlcSingletonFun TypeMismatch
265622002490df409bbea43a08a0a6739fb28e04 NumMod TlcSingletonFun TypeMismatch
9dc2b6260750ca1d2112654bbddea534a299878d NumMod TlcSingletonFun TypeMismatch
0dd4516c0fdd661a6611983e413c535ee648e960 NumPow TlcSingletonFun TypeMismatch
e140b819c08d35a0f359e27f8363bbc971896041 NumPow TlcSingletonFun TypeMismatch
7a5bd5cfd6daabe2a322c75e1ecfb8d73d216480 NumGt TlcSingletonFun TypeMismatch
d2bbdff544d3b746b8aa8eee08c2a73668e51fca NumGt TlcSingletonFun TypeMismatch
1ae51b0a4a447699f9aabacf84b6a6501edf495f NumGe TlcSingletonFun TypeMismatch
cca25d35a7a2b32c336ac16b8575a476e5c83327 NumGe TlcSingletonFun TypeMismatch
723350f3031b4cac64689115f1274631c4d38453 NumLt TlcSingletonFun TypeMismatch
8134c3704f0b7939fd2eaafcf235e32d1abbc30d NumLt TlcSingletonFun TypeMismatch
e4dd87821680fa13657eb8048cdfc2f28ed5b0d1 NumLe TlcSingletonFun TypeMismatch
566697f448cff5b96456b74075098b46ff05aca2 NumLe TlcSingletonFun TypeMismatch
0b9f0742872a5c3ddf31d04f9ce17e7af92d14ff DefFunInDef TlcSingletonFun TypeMismatch
76fe9cfa331a8d330e9ec87a4a05ea6f7797c219 DefFunInDef TlcSingletonFun TypeMismatch
b3d13f09156a8140fb2bc0309e0e103dc2455eab LetDefFunInDef TlcSingletonFun TypeMismatch
df462b0739172c27ded4774fef63c9b4d226d5dc LetDefFunInDef TlcSingletonFun TypeMismatch
aacc19459da96f6c00163d5b613120fcd369a501 ConstantModelValue TlcSingletonFun CanNotBeCase
bf2610e5c4cb03c77e374abeafdedd06753bc6dd ConstantModelValue TlcSingletonFun CanNotBeCase
4e4d496db9908f2c85e5f07bc0f238721111c398 Enabled TlcSingletonFun TypeMismatch
98a5b1c364841f8abbeb0bbb4fcd703ca605e733 Enabled TlcSingletonFun TypeMismatch
d19af12188fd19ab27f241173633c273697fdfe9 Assume TlcSingletonFun TypeMismatch
c8c8ecac400f8798cd8ff1064a0475add3da17e2 Assume TlcSingletonFun TypeMismatch
4aa66ba1af089db466f6b26155cf6c0a60602b41 AssumeNamed TlcSingletonFun TypeMismatch
fa0e315c8b28322914ae7231db9f57c16562875e AssumeNamed TlcSingletonFun TypeMismatch
32e5b66d0cb21ba1952777ad6fe4a7797f63a68e Cross2 TlcSingletonFun TypeMismatch
a10b8148d26a98416c8729e1ed112ce51301a415 Cross2 TlcSingletonFun TypeMismatch
0148477f69d3035b1d4653c8c89e4e90413f4e89 Cross3 TlcSingletonFun TypeMismatch
41659944b9e2094dc34537856012be772e896539 Cross3 TlcSingletonFun TypeMismatch
ea109425886058d95ef1de1a3b2808cfcec09bd8 FunSet TlcSingletonFun TypeMismatch
071b12e05a49bc432cdbd851990a27602a053bfc FunSet TlcSingletonFun TypeMismatch
40866fd857af76e7e815352a0cd93423bda4b027 RecordSet TlcSingletonFun TypeMismatch
410d740cb8f2a8061c0fb584d52763c3c3308cf9 RecordSet TlcSingletonFun TypeMismatch
62ba105ae1685936e2be2657a8ef2a034642bfcf SetDiff TlcSingletonFun TypeMismatch
38cfb8bcf590d0166a556d615e708d34f91abddd SetDiff TlcSingletonFun TypeMismatch
bce031e72a658d5a52bca2e9fac161ea486072ed SetUnion TlcSingletonFun TypeMismatch
12dff248b69f0ba83b9ef169a88b58460fa2213f SetUnion TlcSingletonFun TypeMismatch
a0e86bcbddc2c16d5ce775109f133135ca369df7 SetIntersect TlcSingletonFun TypeMismatch
f01c6f11c116ac89a409bbb2f1e3747de524aabb SetIntersect TlcSingletonFun TypeMismatch
d4c9d4e14cb21c2bf54f089413180c2f85756cf7 SubsetEq TlcSingletonFun TypeMismatch
ef6c2112c3034709d97c498fcc8cbd354645aca0 SubsetEq TlcSingletonFun TypeMismatch
f974476789eb4c00f76fb605cee38006c9707e96 IfCond TlcSingletonFun TypeMismatch
832032efe0b9572d06dffbcbb1c4ff1b63260ce2 IfCond TlcSingletonFun TypeMismatch
6217ad38c1ec302ab7e3f9f258b85133b02adb6b Subset TlcSingletonFun TypeMismatch
84cd1edc74eea9615be8040e9d76ed3fd8b02ca3 Subset TlcSingletonFun TypeMismatch
313e565cdc8606023a37f43dda787c0da2ad0421 Union TlcSingletonFun TypeMismatch
9f62cbb4b33c87593aa7b5076b56c2191cb87394 Union TlcSingletonFun TypeMismatch
c32dee0c8fb66e94b2f45fa0a6732d12b7a8edf3 Equivalence TlcSingletonFun TypeMismatch
0ef1863c9d7cebbeda996810e7b6282fd1526de2 Equivalence TlcSingletonFun TypeMismatch
81177e204ecf018e5bad487d32bfbc5c823e0142 StringEmpty TlcSingletonFun TypeMismatch
46f7a65e370b543a60c5a26a86edea65cab9d9e5 StringEmpty TlcSingletonFun TypeMismatch
0acb468f4cd51b74062723e14aad7a4501625b12 String TlcSingletonFun TypeMismatch
a9af237fe45c19b5596357d2ec0b5e4f5f7505ca String TlcSingletonFun TypeMismatch
d18cfcf45f075f3e5b7798400eaa36da6dec9e0c SeqLen TlcSingletonFun TypeMismatch
a05ae06f2311af06c031135ac87cc313f614c31b SeqLen TlcSingletonFun TypeMismatch
1e6bb6063da479dd4f977e7c82fb3f19da6a1a06 SeqConcat TlcSingletonFun TypeMismatch
df8a608bdb3b3f9c57a20fdc562753a5cd94b647 SeqConcat TlcSingletonFun TypeMismatch
682e0f2774082c731c00c80f1da6add5feb79756 SeqSeq TlcSingletonFun TypeMismatch
b4505c669cb46fedd2236adf7089c78743cd18d7 SeqSeq TlcSingletonFun TypeMismatch
fa13f31d6b9058de218b7caa49312953973a5247 NatSet TlcSingletonFun CanNotBeCase
2e0ac9f7f84f4fe7104661919453be8dd6e29a22 NatSet TlcSingletonFun CanNotBeCase
7f4b72b08d42dab0911eac4fd495dbe10d1534b5 IntSet TlcSingletonFun CanNotBeCase
4a93d0b843638f3a6470532c4eb488beae433c35 IntSet TlcSingletonFun CanNotBeCase
9cbe01f149cc2c4aee1307bf20188c70e8ea94bf StringSet TlcSingletonFun CanNotBeCase
a34a747def4dbf643e916060eab3e4bcdbe13b34 StringSet TlcSingletonFun CanNotBeCase
3c8b291cbe2ceaaa40026a08d0200af5be008f41 SeqSelectSeq TlcSingletonFun TypeMismatch
02d5fda389a9223034c384e3b657819e6ced6da9 SeqSelectSeq TlcSingletonFun TypeMismatch
ad889dda503528cbf88321fcb97b3e24f1f91b8f SeqSubSeq TlcSingletonFun TypeMismatch
dda85c8d1239be73b5e63a329c14083751f1b423 SeqSubSeq TlcSingletonFun TypeMismatch
5f343cba0f6e0cefb4cc29bc61954974376a60fd NumRange TlcSingletonFun TypeMismatch
3b15f6f63c91623c3c2409039e391cd109d74f59 NumRange TlcSingletonFun TypeMismatch
3dafe85b7c5853cee3948ec7ba314ab183a4331c TlcPermuteFun TlcSingletonFun TypeMismatch
624759088deb8c100ad2c840bb08d3af8010606d TlcPermuteFun TlcSingletonFun TypeMismatch
d56b5aa97100756358b1cc4af26bc8f6e96119fd TlcSortSeq TlcSingletonFun TypeMismatch
7c063ad3373acd02279fbfe91c38a291cbd3f5b2 TlcSortSeq TlcSingletonFun TypeMismatch
a90c7303e8226ff121a3917550b4cf626345459c BagBagToSet TlcSingletonFun TypeMismatch
c579044a47b6cf5f13c2a875277cf985ca6363d4 BagBagToSet TlcSingletonFun TypeMismatch
e9b272128e0d01cc17da8f9fa7c52e413c061cc1 BagSetToBag TlcSingletonFun TypeMismatch
a15fb1d4b2410ecd10045501dd3d51bfc4be19d3 BagSetToBag TlcSingletonFun TypeMismatch
ba15ff14b02229cb088ce30bc2a124b44d91ba5a BagEmptyBag TlcSingletonFun CanNotBeCase
34f24e55b9bb065643b4cd9af3d72686b31f5852 BagEmptyBag TlcSingletonFun CanNotBeCase
8ec8018cd4cd97c41ba25582bf6395f1093d81a6 BagAddBag TlcSingletonFun TypeMismatch
ff0bdeecb2b11ae3fd8b164fda91293e0b61e77b BagAddBag TlcSingletonFun TypeMismatch
89e87470c93043fdc33c4c62bcc8e83b8b233a22 BagBagSub TlcSingletonFun TypeMismatch
95ad48f759818b955734b3588c5f23baa6d4d4ac BagBagSub TlcSingletonFun TypeMismatch
268f47c459e5e19edc4f23e4f2091c554dc93313 BagSubsetEqBag TlcSingletonFun TypeMismatch
d5382e2810e4c6cfac67cc75a7cce75f900bf7e8 BagSubsetEqBag TlcSingletonFun TypeMismatch
0375597baf1abb57f8bbe40d1a0f9d0171f5c8e9 BagBagUnion TlcSingletonFun TypeMismatch
898fdc1a40e477f4f5304819797c6ad3c5d4ab64 BagBagUnion TlcSingletonFun TypeMismatch
833e6d8625a6131988b0a9310fa0eafa6d228405 BagBagCardinality TlcSingletonFun TypeMismatch
5544eb6d94c34fbdc96706bc10e21c4008c8edc6 BagBagCardinality TlcSingletonFun TypeMismatch
9de98ff73af8dfce3984148aa1bd191769bde879 BagBagOfAll TlcSingletonFun TypeMismatch
4d135ad9bf906e9e4aa884166a666c0db384df80 BagBagOfAll TlcSingletonFun TypeMismatch
e0adb414452b842a7bc9d585ced22ae902ce9429 BagSubBag TlcSingletonFun TypeMismatch
017d2515959462a64e588ee4489e01cea711b101 BagSubBag TlcSingletonFun TypeMismatch
d058e308e588da64b75093cfbc077da5fde4613f FiniteSetsIsFiniteSet TlcSingletonFun TypeMismatch
1bf4de79fed546ac141b6acd920623092d525caa FiniteSetsIsFiniteSet TlcSingletonFun TypeMismatch
222244a087ba23cb534d91fe8ca9144b3c032a3e FiniteSetsCardinality TlcSingletonFun TypeMismatch
ac030f764df6f2bb1b859e1fd9eecad9bd77337b FiniteSetsCardinality TlcSingletonFun TypeMismatch
3e5d7d5ec1dfc328e66c3b6bff378acceff449ae SeqHead TlcSingletonFun TypeMismatch
df4309329dc32bf35e7b0e4720b9a74144c8b216 SeqHead TlcSingletonFun TypeMismatch
ce8b2db1261fef4e2d4cca45d52df10a0a40c4b6 SeqTail TlcSingletonFun TypeMismatch
f063cd8e8c9ce61b2e4fcbd03bc07c0c4b524e25 SeqTail TlcSingletonFun TypeMismatch