Index

Skipped feature combinations by plug feature BagBagUnion

Id Case Feature Plug Feature Skip Reason
7fa6d79db07317af0b2efbd27433711705cbfabc OneLineComment BagBagUnion CanNotBeCase
0d20a80fe6ce65e66939f023a79f7007a06fa658 OneLineComment BagBagUnion CanNotBeCase
89719f78d08b3a14981108ac93af3f1453164993 MultiLineComment BagBagUnion CanNotBeCase
296afcc473562be382927bb8394e8815ba8875d0 MultiLineComment BagBagUnion CanNotBeCase
a17cd402b1008b939b93d5d5a44119137b0062d9 BoolTrue BagBagUnion TypeMismatch
a6eb4ebdc0bf5a71f71491ded0c1931f4622ee03 BoolTrue BagBagUnion TypeMismatch
52d91f53419ce38fdf0ae005e2e7398156866d7d BoolFalse BagBagUnion TypeMismatch
3f28c7a09b489a081fff210ce536a6416637f719 BoolFalse BagBagUnion TypeMismatch
b985dfdd55596fcaa2defe43ff6699c484deebb0 BoolSet BagBagUnion CanNotBeCase
7363610bd958d88fe26ba4545829797cd918cda9 BoolSet BagBagUnion CanNotBeCase
a9b629f9221b0918d12e9b01e9023fdd4b0de6c4 And BagBagUnion TypeMismatch
63350e45db92e708658584c3c440b5d673d03427 And BagBagUnion TypeMismatch
0d635ef7b3892c3c7def3b387a3164021d2ff83a AndMultiLine BagBagUnion TypeMismatch
0698530cdf860ef68b086f595bf9116182954616 AndMultiLine BagBagUnion TypeMismatch
d35d274f57623fbe2f8c56d3afe85a5ba6707a45 Imply BagBagUnion TypeMismatch
372303d6cb51b3b2bc0bffb53b61172a09c56183 Imply BagBagUnion TypeMismatch
1680da3868692256defd4bae824a84ffdd36fb6d Not BagBagUnion TypeMismatch
ef9b4e452e9c323491d8597dd20373e3ef3a2218 Not BagBagUnion TypeMismatch
c0ea0a24d6f49cac0fce68af53f65fdb3da60d60 Or BagBagUnion TypeMismatch
47d575358eee5e82a6da083b14fe5e8db852dc66 Or BagBagUnion TypeMismatch
0f851ac367008cf2e10982f3d086156cbe58d463 OrMultiLine BagBagUnion TypeMismatch
f797d7b7799a5ae2e0e7ab73c03f607307602011 OrMultiLine BagBagUnion TypeMismatch
81ef3feed1d05e0de1adb863eba655aef6a76984 AndProp BagBagUnion TypeMismatch
77045e2dc9a551a7a4c2f0496d9cbb6b955dfb2a AndProp BagBagUnion TypeMismatch
86ab275c2fabd2c620763520a9fe0e890dbbf91c Boxed BagBagUnion TypeMismatch
717e1f2c02bb1e3eafe8053fdbfb72e71b4031c8 Boxed BagBagUnion TypeMismatch
6d548b4503bafd1eb87dad3f35bbdb99c25ec2a9 SetEmpty BagBagUnion CanNotBeCase
9833fd44c8fc2f50c4a301822984876ca1bb1f88 SetEmpty BagBagUnion CanNotBeCase
4feffa774e87676138c30c9f000288a162b3540d Set1InDef BagBagUnion TypeMismatch
5c77b879e956e6ce436e1546584923ff03b9ff90 Set1InDef BagBagUnion TypeMismatch
4177bbafdb04d6999f02ed3ed7e495141ccc69b0 Set2InDef BagBagUnion TypeMismatch
ba8bec90698f66ce4242d05aacb4af00cda3d107 Set2InDef BagBagUnion TypeMismatch
a0e26ed7a52add2e953ce0d9aed0ae3c97fce011 InDef0 BagBagUnion CanNotBeCase
3af89301eb51b19255b61e73f79192da7e302f85 InDef0 BagBagUnion CanNotBeCase
fbb6e4173d5113e86c3a047b3134092328a1ac1f InDef1 BagBagUnion CanNotBeCase
d3134a219d61d86668d33cb245c5b839dfcdb57a InDef1 BagBagUnion CanNotBeCase
78916f8f3ac33844c0ee7ab409c50e204ab63814 InDef2 BagBagUnion CanNotBeCase
fb6521a4aaeffd8d07a3f4f511b16192c6e2dd97 InDef2 BagBagUnion CanNotBeCase
0f30f415faa1b1674b5c44f14c1b2d4ad0f62d26 FunInDef BagBagUnion TypeMismatch
4d65c2d4156094b98c6c1dc7fcbecbc18e5246a4 FunInDef BagBagUnion TypeMismatch
60e38506a45d161f6af3430da2c556e6113e0bf9 Exists BagBagUnion TypeMismatch
7cbfdb7bf11684e93da7c3df96c0bb6c2def20e9 Exists BagBagUnion TypeMismatch
8d12561d70207d2b4ba3378e083120a641b13176 Forall BagBagUnion TypeMismatch
a408a6a2a45d2f697127ffaceeb5c8392159d123 Forall BagBagUnion TypeMismatch
b0d2e12e431db118b9a5ac6a947734c7a1511474 ExistsInDef BagBagUnion TypeMismatch
42647bdae659a4ae13b04f1f3117cd5cae32b583 ExistsInDef BagBagUnion TypeMismatch
921ab61b162353f0f1ccbb86ef455513ba055e57 ForallInDef BagBagUnion TypeMismatch
6c888b662ada92030277d8416ad88ac6ae805aa6 ForallInDef BagBagUnion TypeMismatch
5f4594ad7744ec032b3141cc810145fe4e48e29a Choose BagBagUnion TypeMismatch
92283e28120558df9205a28a13bc96dfe0ef6c69 Choose BagBagUnion TypeMismatch
8b5d1c62a887126b21fdfc64468270130e61d825 ChooseInDef BagBagUnion TypeMismatch
38cb1353966ed296d13395d1adc1fec5861134b9 ChooseInDef BagBagUnion TypeMismatch
a1fce0bbc4765b1444547d1687a3f650fd3d9206 TupleEmpty BagBagUnion CanNotBeCase
1fd40f312e6dfe3f1959a1e6c52ce9a2f24a6347 TupleEmpty BagBagUnion CanNotBeCase
b5854d3aa174af1d1c9ac5d0fbad31dfe50cc46b Except0 BagBagUnion TypeMismatch
357180f9f02e6f54590802e5dc15ee994fa8df07 Except0 BagBagUnion TypeMismatch
85734e05abecb6470297e4867efb41bd74ec30b3 Except2FunTuple BagBagUnion TypeMismatch
77f8b311a9566902e8950915d2e4c858e2ae6054 Except2FunTuple BagBagUnion TypeMismatch
4d44234fccbc259319ba51f5760ce3b2e0371ba2 NumZero BagBagUnion TypeMismatch
b8fffcaa4ce50d17f2137b5edc5fe26e55c71865 NumZero BagBagUnion TypeMismatch
309a1cacf8752ea6e4d4de21e69ed266e962f112 NumOne BagBagUnion TypeMismatch
38dbdd38d0b80f78ca229cd25db8e202333d2b12 NumOne BagBagUnion TypeMismatch
c470ea4828964284d8f307d40b4e586049ec0180 NumMaxInt BagBagUnion TypeMismatch
3d25089844ff106d71866ed752d429263af4a6f1 NumMaxInt BagBagUnion TypeMismatch
e0da1434c67b9efa4cf462854d912fe40e4e4fab NumUnaryMinus BagBagUnion TypeMismatch
5a154f13aea1f35eb70801f2c55050e2ffb4e5df NumUnaryMinus BagBagUnion TypeMismatch
49e316a56eb4b0fa0e29800bf05495fe80230c13 NumPlus BagBagUnion TypeMismatch
65db7e5794914142fad87f620c0ac6c4651f69b9 NumPlus BagBagUnion TypeMismatch
0a254bcf07734f1695c1465c821606849bff4c42 NumMinus BagBagUnion TypeMismatch
71e00a72608f0abc38d41a6aacb4a92856b7204a NumMinus BagBagUnion TypeMismatch
ffd78fe50dbd7b4df9b43950ba205a7c8940c2b2 NumMul BagBagUnion TypeMismatch
a78e10073934de1287e15504c4b452b5195dbe22 NumMul BagBagUnion TypeMismatch
7805f241234ddbb59826f49ec8cdd2205a84af8b NumDiv BagBagUnion TypeMismatch
9f61ee94276e4bb5bc867ccf52c940c37bfdc4fb NumDiv BagBagUnion TypeMismatch
49e9ebbbcf7ba7b28d63ec6476047740ce3770e0 NumMod BagBagUnion TypeMismatch
51382e39ae4c9a993d06aaf41c3596ab5c10eccc NumMod BagBagUnion TypeMismatch
c7db1e4e23860089b626c9f3dd2457b678f76288 NumPow BagBagUnion TypeMismatch
807ea6042d954b0d8d136d49b7a2f803fa850f62 NumPow BagBagUnion TypeMismatch
cd051b267cdfb89453a8cb3ef08d0a1405df77fb NumGt BagBagUnion TypeMismatch
617a667098d9e9e1f7d710c15e53cc70c34093af NumGt BagBagUnion TypeMismatch
5ba7237d9d91f2d19d363a9134ab0fa2ec36f164 NumGe BagBagUnion TypeMismatch
e3d89247ed657552e8c6c69317cec9fe76ef209a NumGe BagBagUnion TypeMismatch
9d3d3eb49f7d5f9a8c9909ab31845f29cf586ad1 NumLt BagBagUnion TypeMismatch
f0ffad6116bd06e57671997bb3c4d29d31e49e79 NumLt BagBagUnion TypeMismatch
1f3a4a801d6a8e24a1c63aff947b8443d6a14ad6 NumLe BagBagUnion TypeMismatch
5e0ec21cb37cc02014e79900abdd53bfbcc34da7 NumLe BagBagUnion TypeMismatch
95028dd8c586707239941013376c74b2c9e0c380 DefFunInDef BagBagUnion TypeMismatch
b53796387f304933d16474637d951093f7e7503a DefFunInDef BagBagUnion TypeMismatch
0e3c971a0d165a66cf3b9f9e7b71c10579f3c7b3 LetDefFunInDef BagBagUnion TypeMismatch
22cc2a94813031fd7098176b8fb8d3c38fe37714 LetDefFunInDef BagBagUnion TypeMismatch
fa198d9e6a240d46af2854a1d7ba5c51b44ebf0a ConstantModelValue BagBagUnion CanNotBeCase
dc76e8dbec9bc59172e2525dc38e71a7496f3bfb ConstantModelValue BagBagUnion CanNotBeCase
d12aa8d4ee8b68cfd583e06b5e32f8f9aae5a936 Enabled BagBagUnion TypeMismatch
6e7d69889c4f11d12b0f18739efcfa013eb4e0b5 Enabled BagBagUnion TypeMismatch
12734c0e44a2f2f6d9d7d434cb53e972cc052940 Assume BagBagUnion TypeMismatch
5cd4a5638c09ae5969df7dda05d855153775a04d Assume BagBagUnion TypeMismatch
5e7164a3ba0dd4a1cd69d3327c4e27cb1ba88ede AssumeNamed BagBagUnion TypeMismatch
527011f2c12118e1620193f74572a57cfe54e37f AssumeNamed BagBagUnion TypeMismatch
08e9f0e3a2763e216da1b1ad41955fc45fb4af55 Cross2 BagBagUnion TypeMismatch
8e6af84b1e625a634a650ebbcd01ab182d9ecfaa Cross2 BagBagUnion TypeMismatch
0fe44edfd5fea8ad3ef76eaa9bc853f0046fb56c Cross3 BagBagUnion TypeMismatch
80d6de20811f9f96df4fc8771b9db6ab2702cc4d Cross3 BagBagUnion TypeMismatch
b91c20b0336cd5be0cb842987401e6bc3b1647c3 FunSet BagBagUnion TypeMismatch
891cb6a38c2936054438d0c4728c13d9cdb5d567 FunSet BagBagUnion TypeMismatch
4a221f226d41c43e5e815866710bdd07444aa3a9 RecordSet BagBagUnion TypeMismatch
b33fc60457ad77994a6c5cec7c6c6b7713d90b09 RecordSet BagBagUnion TypeMismatch
e7280e2edda4f39cdfd1c0846e3f741c1157585c SetDiff BagBagUnion TypeMismatch
8cf7ddc5e0261213ea079f0c956c465eec6f8638 SetDiff BagBagUnion TypeMismatch
caf406df401774cad4af918ee7248375448aa982 SetUnion BagBagUnion TypeMismatch
fb35365c555fd97f4d67424b7c77570439bd50e0 SetUnion BagBagUnion TypeMismatch
2df84287818bd25514e945d55d482c7987cd5d9d SetIntersect BagBagUnion TypeMismatch
103876083d5e755f50d3901c97bbf01b84cc9e45 SetIntersect BagBagUnion TypeMismatch
fb5bb2d49950bc7eddf3878af2a4b73f2cd7bf43 SubsetEq BagBagUnion TypeMismatch
c69c8eec9531d577d4738bacf0c8a67a7f68aa33 SubsetEq BagBagUnion TypeMismatch
de893850955d72f1be1fd908916d1009fe711b7d IfCond BagBagUnion TypeMismatch
daeaef3310aa3d5f91e4f914bdd2f677b96aadad IfCond BagBagUnion TypeMismatch
e9b28fed4cb816fa8cf72b534f970381b6bd397d Subset BagBagUnion TypeMismatch
41c551a77f148d818a2aa8762b38ba6a8feb972c Subset BagBagUnion TypeMismatch
44e48367f0a9832f260f25d9a79cd4fde211b49d Domain BagBagUnion TypeMismatch
282b6f309cc83275f5fc619bfb833d1256e9d101 Domain BagBagUnion TypeMismatch
5f4e8b4552ab4c26bba6c578e1989bac9ec07ee3 Union BagBagUnion TypeMismatch
9223180856ca60a642307aaa8ca028a0e3aca0d9 Union BagBagUnion TypeMismatch
48b051268964fc8a1efb1fa942d3d4d95ef120e2 Equivalence BagBagUnion TypeMismatch
31e6f2816f0eaf75a70e8a227b3932a8b7c49e52 Equivalence BagBagUnion TypeMismatch
da0754ef290785fd9be0173d91739eeb4d70c874 StringEmpty BagBagUnion TypeMismatch
3e0e9c23ad38ced14f5754ddef5b6bc905244100 StringEmpty BagBagUnion TypeMismatch
5b82cbf35aba5d6fae32033914ae4d29db888323 String BagBagUnion TypeMismatch
154ae6f638f89eceffb93817fddb629d7be9481b String BagBagUnion TypeMismatch
b296fc79513a0712c29e5b85d7d0988ffe96164c SeqLen BagBagUnion TypeMismatch
adc130c8343b190a1819f50eed2e31898e87e954 SeqLen BagBagUnion TypeMismatch
29949df63f8853a57c6eab2a16b42409a9430bea SeqConcat BagBagUnion TypeMismatch
4b4223c48ad6d497c4127629b742038437f1dab7 SeqConcat BagBagUnion TypeMismatch
b93e1104c511303ceb5224bbb2c2a85731b8dd56 SeqSeq BagBagUnion TypeMismatch
aeccde128787a8331fa2c4c3f65d90530e596e52 SeqSeq BagBagUnion TypeMismatch
fc3359252086da77fe2d6fd66aea7aca319f4704 NatSet BagBagUnion CanNotBeCase
9a357bae8ae5e81a7065e2cd1531bcf2cb2b40d4 NatSet BagBagUnion CanNotBeCase
fe73be476b89bf8efd8e4b15d63fe68c261f8827 IntSet BagBagUnion CanNotBeCase
a2f75aa12161e7a93aaed42fb35f94d02074b1ee IntSet BagBagUnion CanNotBeCase
c6305739e03bec17d3d3c13c526191c78db16187 StringSet BagBagUnion CanNotBeCase
c68dd29af95e247a8d8675ac39c099a75a9cf693 StringSet BagBagUnion CanNotBeCase
8b057e9ed21cd8df78389c7b33ab925fa66f06a5 SeqSelectSeq BagBagUnion TypeMismatch
b49ee054e45878f193f2e289935390b105344cb3 SeqSelectSeq BagBagUnion TypeMismatch
4bdda212bbf16f6643076c9f75442d5969686626 SeqSubSeq BagBagUnion TypeMismatch
c4e416f39131b1f26d1b1f8ddcab26980eb38a6a SeqSubSeq BagBagUnion TypeMismatch
c65c3d796c50464e84222d70cd54d8ea9a8b1ff9 NumRange BagBagUnion TypeMismatch
36f4409dbc540d4d6631601183989c8c7dfe5fa4 NumRange BagBagUnion TypeMismatch
e1a8f65f7781bb09314e8d758cbb0a400fc0865f TlcExtendFun BagBagUnion TypeMismatch
c3584b685dff52bfb53d14c391060f050827e931 TlcExtendFun BagBagUnion TypeMismatch
ba5757b125ec511c082bafe2f6a6cb63d028c694 TlcPermuteFun BagBagUnion TypeMismatch
5cf80457f6e8c7bfb63fb6124bb1189f97bb690f TlcPermuteFun BagBagUnion TypeMismatch
d08fa00be40349f71a8eee06dce53ddd3ce1c270 TlcSortSeq BagBagUnion TypeMismatch
880ae6b6544e03390f5ddbdfe2a44a1756dc47be TlcSortSeq BagBagUnion TypeMismatch
db78489b2d262a7988dc320f929e0f361f72cc32 BagSetToBag BagBagUnion TypeMismatch
cd3613b425cb9f0433b7592c930484dacf6714ff BagSetToBag BagBagUnion TypeMismatch
327bd9c712d5bbcaabba63cc772758ae819e16e0 BagEmptyBag BagBagUnion CanNotBeCase
2f206918ca7ac3a5897e86bdca3ad15b095b94b3 BagEmptyBag BagBagUnion CanNotBeCase
584d62985e2b26d2433e3defdaf67596de95bff6 BagBagUnion BagBagUnion TypeMismatch
4dc27149226def9ac998e331b7e5ea07de3545ff BagBagUnion BagBagUnion TypeMismatch
22e62e8242dd56d791268883316df118b62515f7 FiniteSetsIsFiniteSet BagBagUnion TypeMismatch
f070a13d6157b48631515c05e29ca7e3bbe013c2 FiniteSetsIsFiniteSet BagBagUnion TypeMismatch
3bcc3a64bd357e9e701798913defb58750374118 FiniteSetsCardinality BagBagUnion TypeMismatch
f2cf1e4efafce94305c18fad29a89382149b85f8 FiniteSetsCardinality BagBagUnion TypeMismatch
ef3504f9efa6d09406cefa5a8fb1206a917c1696 SeqHead BagBagUnion TypeMismatch
4a257907cfe4106d905395eeb943f09698a2a25a SeqHead BagBagUnion TypeMismatch
ee41e92831ec99e8e6085beb501eeb8ff6ad1fd4 SeqTail BagBagUnion TypeMismatch
26c47433ec6381499f634d65034b9af2f5ad67a8 SeqTail BagBagUnion TypeMismatch