Index

Skipped feature combinations by plug feature Union

Id Case Feature Plug Feature Skip Reason
cca300e208c2d394de59391d64b71e47b9acb096 OneLineComment Union CanNotBeCase
a8ae73d3d5cd51c6b15f623250e5f158e518b049 OneLineComment Union CanNotBeCase
e7b4bab024834a4cb3d5384ae19615ec090e0923 MultiLineComment Union CanNotBeCase
2489098ff603fafd2b5a2ddd8d8ec2813c4fa81e MultiLineComment Union CanNotBeCase
3744cbbb27f460d02087afba3c1e534556b38f2a BoolTrue Union TypeMismatch
8d43b21158ccc51412e828d0303e028a7fec508f BoolTrue Union TypeMismatch
b40f9ea68a91ed9f05bc6ba900d466ff437b13f4 BoolFalse Union TypeMismatch
37197837a5bf0591f4beab442f872e3053fdbb42 BoolFalse Union TypeMismatch
bf2128963a70c034f278c6f0c843b342d4ace6e4 BoolSet Union CanNotBeCase
8f6ef1f7aa89f5ecf693eedb99652545f9ec6c65 BoolSet Union CanNotBeCase
2bfc0aa466a73643144a16adb26d4fae8107e855 And Union TypeMismatch
19bcdc3a7059db569ee6b7fa144c2932f16660ca And Union TypeMismatch
3257501366c6189e5d405806c15f9408963da46b AndMultiLine Union TypeMismatch
bf7bd80b824e7ec6cf88923a58c46d7f2c0221a6 AndMultiLine Union TypeMismatch
3a07f65b0e699d12333a14482f7c841fc944c87f Imply Union TypeMismatch
2ad0b706e0e86ce7fbf1b76a6b85d0ad12892948 Imply Union TypeMismatch
88646368dc7f8b5456ef3e6ad72204466f10a17c Not Union TypeMismatch
344852410846a408348a1c05ecbb8304120bf40a Not Union TypeMismatch
a73cff925f21b3e682ce04bf9edd63c2c0cc323c Or Union TypeMismatch
c9ac731f201db0606b422258f4d10050794d91b2 Or Union TypeMismatch
4701b4d6dc7e33186d3d9faf1a29ccdb4d5bc2a3 OrMultiLine Union TypeMismatch
fa4f921bcdeb8c736f5a5e83f7fd85be591cfc5e OrMultiLine Union TypeMismatch
607aeaf808427beeb9ef488c4c03f1a1565609b6 AndProp Union TypeMismatch
7a29e79204989b22ffdcdf07cb41f00f23ed80d3 AndProp Union TypeMismatch
42d9b492a9829117dc9fb1944e0e32aaef375312 Boxed Union TypeMismatch
db8554b8e18f570ee8ac4bcb3255bd43d69b5265 Boxed Union TypeMismatch
3561b84c952f282c4a322f5bab3117a1b72ba9bd SetEmpty Union CanNotBeCase
ed5aabff9bfc25a86513ad8194f544eba2f90a7a SetEmpty Union CanNotBeCase
2dbce536f492830fd38efe3870c79f2051fa1a23 Set1InDef Union TypeMismatch
76c49d5d3c8cd029e3074e44602a2203c27ffc09 Set1InDef Union TypeMismatch
59f844027f9e54b3ba00503dcf453d1fedf3363f Set2InDef Union TypeMismatch
47b23def8f3ee714160c097c140e6c121064d9bc Set2InDef Union TypeMismatch
c58882b813131db0532f98e9e2d4906e0b1336bd InDef0 Union CanNotBeCase
da6104dca351cce0d7c568f35b8d15c5885de619 InDef0 Union CanNotBeCase
58aa5f4b9d1c0a79deb8e2013908428a3abf9dae InDef1 Union CanNotBeCase
9fc42aa38a554eb8dd2b7a4c8ca807ce5573459b InDef1 Union CanNotBeCase
4b143cbea1eeb97ab9e7f73771d4d4df2f1e56b3 InDef2 Union CanNotBeCase
61f85329eff9105207033aec88410068b08208ba InDef2 Union CanNotBeCase
658710be37c86e11a3f3e4e0abe5b685a0866c0e FunInDef Union TypeMismatch
00fda4bc294c242a2084c0603ead9aa9d8090a9d FunInDef Union TypeMismatch
fb7cfa56b911464ec9bab1259e719c99eb364c3a Exists Union TypeMismatch
79354a4934bbfc0dce8da513994ccda58fa35f42 Exists Union TypeMismatch
3a68594e24f50a34d89ff91c0138844055726529 Forall Union TypeMismatch
e24aca1158df3ba1cd03a5696c77b51fce2f0eaf Forall Union TypeMismatch
b5293326f27e12523b2e13cd9bf311bc27ea6975 ExistsInDef Union TypeMismatch
082d5f9d5791a3dfb1f434dfb6f473199b4e2076 ExistsInDef Union TypeMismatch
fa2d9fa946be983d85c3578da6473cfb6c2007d8 ForallInDef Union TypeMismatch
ccd5718ff8e541258527b1d00c4e41e2b2e896de ForallInDef Union TypeMismatch
c528e2c6e156a9bc5f85220c78d08df86716a724 Choose Union TypeMismatch
b03f61feb4f6e3fdc7a4ada769c136469703d081 Choose Union TypeMismatch
95764d888fbfc10738236cb080a5dc8aab3b756d ChooseInDef Union TypeMismatch
0ce3f7e648a56daea0a7c1c50cfb2c3efec7fdc5 ChooseInDef Union TypeMismatch
dc7fa69a6e29546f00a4684f7f3d28c6e2131d59 TupleEmpty Union CanNotBeCase
16bcc9584a6f7994ec8c46b5d5ab1a0abc7ee331 TupleEmpty Union CanNotBeCase
2530dfe56378c4dc300ff1489f08b41b6ae0e249 Except0 Union TypeMismatch
4f8f4ed2763f3d1c162adca97653014705731fc4 Except0 Union TypeMismatch
0845c837f9452dc54fa5d368822b8a597d31341e Except2FunTuple Union TypeMismatch
876592f1c487c87da7703f97de10228fa3003b54 Except2FunTuple Union TypeMismatch
e02e6221f482f760013f2606d25582f9ba8822e3 NumZero Union TypeMismatch
703291f667e99cffb8097f0f5d16b24f963904a7 NumZero Union TypeMismatch
b4fb6c7eef518210d7a8eef7a0962d148c7abbde NumOne Union TypeMismatch
03d8ad3e06bc1dad2cd9c75ccc9cca22c6e24497 NumOne Union TypeMismatch
bae50d1d432ca71e72c4fa7ded5d8711949ac5f8 NumMaxInt Union TypeMismatch
1a937aa12d0fcf1196934239db87ed8283cdc2dc NumMaxInt Union TypeMismatch
c91dc2154300fd3c9ea576a8197ccd345a113e4c NumUnaryMinus Union TypeMismatch
3dc3c22ecd0c23e3bc73e2f8db77bf5a6235b3c4 NumUnaryMinus Union TypeMismatch
b571a05fe36a1a3c191161583a20327c4a594375 NumPlus Union TypeMismatch
f04465370cf34dc5930c26f77da1f07cacb86c94 NumPlus Union TypeMismatch
cde5d01945e10d9c3c87c52d79964f22bb7792fc NumMinus Union TypeMismatch
f4838782525e5dc245ab7452388717ef43461bb8 NumMinus Union TypeMismatch
7a626dc284a689714a79d356b005a58f0f31b674 NumMul Union TypeMismatch
1e81b9945b341f573f078683c8d1377fa0a53173 NumMul Union TypeMismatch
35701d2d9970804ab94faf66505c420105d61e77 NumDiv Union TypeMismatch
51dcc0e418e1e72d718ff923bd79d7d549581da2 NumDiv Union TypeMismatch
b4b5cc6f00926ed7e9bcc1c97824563ec40f1f8f NumMod Union TypeMismatch
8ba82be3723db9dec724017f7f5f3739429c086d NumMod Union TypeMismatch
4c6329c62ff59e8705a8b49562ec34da4a540fc2 NumPow Union TypeMismatch
a938e0ff817dd4dcfa359334af76a7a3b281d0b1 NumPow Union TypeMismatch
e5f6704606fab7c590c075537711afa7d97f0f56 NumGt Union TypeMismatch
c1f51ca0cad8c71fc1b43be16315fd9025cced80 NumGt Union TypeMismatch
a230ca2f66e74ca2263862007952fd016cf20364 NumGe Union TypeMismatch
e4fea5be5e666074b346a840aaf1cdc590287ce2 NumGe Union TypeMismatch
53a1bc7c2cfef7273ad5c3735c0cd52d3463d0f4 NumLt Union TypeMismatch
a3cd623782a4fc8dc0833509d40652e0f11a39b5 NumLt Union TypeMismatch
1b47b3c20cfc0d93f5de05b578d05534ad10575e NumLe Union TypeMismatch
65d1487932e73b6688c433e5d0635b87cb800738 NumLe Union TypeMismatch
ccdcac77c8030c4d16b409aac0e3f51a1ac66f23 DefFunInDef Union TypeMismatch
0768b456f7a45fb4682acfd35a2776b72d51590f DefFunInDef Union TypeMismatch
9242b06d6830ac6e338045bc318610dd01380cc3 LetDefFunInDef Union TypeMismatch
f6c6e1eded0258fc45fe1067211bd8536d38555c LetDefFunInDef Union TypeMismatch
19fa18478b4ec8e138c909b38d7a9e29af628bcd ConstantModelValue Union CanNotBeCase
46d20710d1c4e8b806924ab135df18c8c1c389fa ConstantModelValue Union CanNotBeCase
fe3cb61f83e8ff7337e9e7cb65e6cd6395cc23ee Enabled Union TypeMismatch
2a9a9d2453e3c58501125168ac4d5fa0f67e3057 Enabled Union TypeMismatch
578cbfe2fbbba2c06d670690d5fbed7053862ad0 Assume Union TypeMismatch
96839e1bd9de2c22c7fbe38387c22c5edff2e31d Assume Union TypeMismatch
62df99ef8d1abf2c07aece19056473a35e42293e AssumeNamed Union TypeMismatch
aa8bc5eb470dabbbbab81d30fa1a1cb3db9ed582 AssumeNamed Union TypeMismatch
01261c700c83c3a3296420993580c91abaac7096 IfCond Union TypeMismatch
3d788d6444f235017551a09d43d5f16b8b9f6c95 IfCond Union TypeMismatch
c1988edd69110d5323368983233cde56a6ca89a2 Domain Union TypeMismatch
20d0aca68b277e0a261bfb6304e78c3c9757270a Domain Union TypeMismatch
32ec4daa7148fd7a35fe4d9a22b47815ec842dfc Equivalence Union TypeMismatch
bc8cd4e06372f78fdd5d912adc0f7e755050f157 Equivalence Union TypeMismatch
7a705c81436d48d1d033ad3690abbef8366b46dd StringEmpty Union TypeMismatch
060218917f26959e9644778af5f3ae64b166557c StringEmpty Union TypeMismatch
04ce481740a994063ad4ba25d9a0eabe2a1884b3 String Union TypeMismatch
a66f83544b8883749fadab581f95ee73e2e4e904 String Union TypeMismatch
07232d1ff7cdc01efcc53dc05df280f7e773e523 SeqLen Union TypeMismatch
8e623a0283a731b3c8525b6932baabd6ad5e4e97 SeqLen Union TypeMismatch
408fb890ce582e853b22602c91f92a70ac2d4465 SeqConcat Union TypeMismatch
f7790ac56f175fe072474423c78a4429235c026d SeqConcat Union TypeMismatch
e4ac924a4b8f8dd4c1feb4f4b06760115e38cff6 NatSet Union CanNotBeCase
33a7d26cedd02935aa6f91d14f93f6e97941eb1f NatSet Union CanNotBeCase
83fed045a63611d4d0225ff9bc55fb13e87b8205 IntSet Union CanNotBeCase
ef698cd1a354e4b63a02fa678e9e5279d97617db IntSet Union CanNotBeCase
07b9177ad7fb02e2f4578fb09f9f5da58d1f1c61 StringSet Union CanNotBeCase
25c346764f81f34334b0e9b836c0298f4d4fc6e7 StringSet Union CanNotBeCase
382f69736d77faf8c10fd93a4c8b9e84e1794a58 SeqSelectSeq Union TypeMismatch
f212ae87349fa6f29b2e02c8295346b1fd2bf099 SeqSelectSeq Union TypeMismatch
6e572c0bbdfa2cded69963086d5743cc7b98cce9 SeqSubSeq Union TypeMismatch
cdf3a71816f1d997174ea77ab46da47a4481483f SeqSubSeq Union TypeMismatch
9ffcfea922f260278e3713fecbf754fe2ce87ffc NumRange Union TypeMismatch
5ca2d73a5455c138294185715b2f102dac01a990 NumRange Union TypeMismatch
da276133455f9652c8653da5a92ff7b1808865a3 TlcExtendFun Union TypeMismatch
f306d1b8cac2cc1ffc973d9ab2345d6aad65b52d TlcExtendFun Union TypeMismatch
e1f2aea216407f53e7b7c802bca2ebc8244682fb TlcSortSeq Union TypeMismatch
2db5b7a92f179ec22b328113fb92979d2ae21c08 TlcSortSeq Union TypeMismatch
51a56593b1070e59a8bdaafdc966b899fd17c935 BagBagToSet Union TypeMismatch
8a87137fc218fd0646c266139a9017ef7d5ed617 BagBagToSet Union TypeMismatch
c70daecc70387b4e28b71278f17ab895ee26fb40 BagEmptyBag Union CanNotBeCase
71e1af5eb15569ad635e374484828662583e00ed BagEmptyBag Union CanNotBeCase
c1b45ec996b215dd947d123b171f90e75c88284d BagAddBag Union TypeMismatch
d7aa2a4be5e80f802f5128089110c622b38a99bd BagAddBag Union TypeMismatch
79bb1716ae4af880f3fa7b58f4a47b12af96133c BagBagSub Union TypeMismatch
0d8547f410c4652f24d8ad4fa86832880e4b70b1 BagBagSub Union TypeMismatch
8980527dd5dbb5383b9fa73995c3d2460fd8f300 BagSubsetEqBag Union TypeMismatch
0566763c84f575fb11fa5508821df15a059b11b6 BagSubsetEqBag Union TypeMismatch
db1b0224c3d880a3b64263ce34e4930a05c9dfe9 BagBagCardinality Union TypeMismatch
b5ef5cc12a93429db71bf655a69c442cec4cab3b BagBagCardinality Union TypeMismatch
fa8a64c2138c8cc38ac37eeba3395cddd1463385 BagBagOfAll Union TypeMismatch
f18763c7c67680a0f5c195cbfbc067b835106317 BagBagOfAll Union TypeMismatch
cbc68c306fe54fbcb5082cf9c0c950ba5870cca0 BagSubBag Union TypeMismatch
33b738ed833f841e09f7a1dcb45f02ba041d7e85 BagSubBag Union TypeMismatch
78e8aee5df5458316fb395900edbfaaa788688b7 SeqHead Union TypeMismatch
d043c9545c041896d993f178af901edc44b21218 SeqHead Union TypeMismatch
61029763515acdb5a430ed7fe12cf22d3b6b94c1 SeqTail Union TypeMismatch
c948271b3b81a7ec407ca734be79c6cc54560d1c SeqTail Union TypeMismatch