Index

Skipped feature combinations by plug feature SetUnion

Id Case Feature Plug Feature Skip Reason
8d95fd382fe7706f62184ca7a261ff0f25196429 OneLineComment SetUnion CanNotBeCase
10a9a5760105f3a097c0eb7ddab7cb738aac8023 OneLineComment SetUnion CanNotBeCase
a6763189b4b82e05ca22bf4718dbf5ef72f69a05 MultiLineComment SetUnion CanNotBeCase
067ffd21df11fc606e40a071091bf45e2c46c4a2 MultiLineComment SetUnion CanNotBeCase
79338185809f114cdef5d5d53fc6ef2ef7137ae5 BoolTrue SetUnion TypeMismatch
094873e60da82ae78bde04a1e774af9ac6115127 BoolTrue SetUnion TypeMismatch
38bc781e2828fadbd3dd1dd65f93c2c641dd36d4 BoolFalse SetUnion TypeMismatch
c886c7ba72747cc1a35962c0c0ad1d635bd3de80 BoolFalse SetUnion TypeMismatch
1a6a7755850d903ce0b93cd91d260bb6268895a3 BoolSet SetUnion CanNotBeCase
d25a226671da69b6ed2282cc36bed0e7302ce863 BoolSet SetUnion CanNotBeCase
270362e19d27cc128018c004e68d4545cc7fbc07 And SetUnion TypeMismatch
80f5ca6c514271215ea925de272a4d4deaef1ff6 And SetUnion TypeMismatch
85bba435e2fb4bdb2cb81ed4e63a8312e440696e AndMultiLine SetUnion TypeMismatch
eeb308d7f89dde23c70cf55617de56fde5cb5102 AndMultiLine SetUnion TypeMismatch
04a3887e7477afa59a1450b3e8918d67affa1d4c Imply SetUnion TypeMismatch
e1667f278fbd36c1bbab40d249b418a874d3d039 Imply SetUnion TypeMismatch
33674df44b79a91d62dbe83b49e379be74eb2908 Not SetUnion TypeMismatch
5a242b39e1b59398f716041fe015b580e9ab9b0a Not SetUnion TypeMismatch
a5a1b5439c7c2fc4ba4c8fead3d8c198f078794f Or SetUnion TypeMismatch
86a0a48e30e8322cf4e2374ee1cce69b1352736b Or SetUnion TypeMismatch
009f0ed7f366faa43ccc5822c74640cd59cbb1c9 OrMultiLine SetUnion TypeMismatch
66efc6d91d37dc49df4e2f6545b50f7f79e0a5b5 OrMultiLine SetUnion TypeMismatch
196ef94a703f90a8cece143f647fc4ff55a1e686 AndProp SetUnion TypeMismatch
1dec99c003a354aac8fc8510513445709ff2aa2a AndProp SetUnion TypeMismatch
b5b5ca53a7feb502232d85a3777b858d0134c4d0 Boxed SetUnion TypeMismatch
6f566d8eb03a67096c5a76f7c36a233d1e4593c6 Boxed SetUnion TypeMismatch
0a0d324687741a4a1bf360040eaea6286dcafad8 SetEmpty SetUnion CanNotBeCase
5c3021a1905e3b59dceb96e3074021add777547a SetEmpty SetUnion CanNotBeCase
5de1dee36589cdc847e5688522227fe097d1a54e Set1InDef SetUnion TypeMismatch
7584dde4977042ed6e99301c07272e5873613f0d Set1InDef SetUnion TypeMismatch
0fa5c4f2068489302df81d5bcec457ef53a6d02e Set2InDef SetUnion TypeMismatch
905df353ce786e4590f9e3d84bb7175abdc63e7f Set2InDef SetUnion TypeMismatch
67ed4563cc927eb71f02ce364690720deeb36dce InDef0 SetUnion CanNotBeCase
d9c256eb1932f15fadec5c2ed30f2600571012bf InDef0 SetUnion CanNotBeCase
96b90f49dcf74b658272d9cda4141bc0e383ae4d InDef1 SetUnion CanNotBeCase
f0405c5f290a1042e6834ced4a52cf834b89aace InDef1 SetUnion CanNotBeCase
a18ee00f930f7c521d4d674ed9f9d0c5d22b9e80 InDef2 SetUnion CanNotBeCase
95b00469409f4c692bceef4a8071c2c987a2cb08 InDef2 SetUnion CanNotBeCase
43aadf40409b1968735c4d5e20af8aa40805d67c FunInDef SetUnion TypeMismatch
d458d44055a52a229d27bb70ec042293f4da3710 FunInDef SetUnion TypeMismatch
1fa1a963d7962105543712f8bed26484c28e31dc Exists SetUnion TypeMismatch
708f3b588aec235577d31747ee50d0a679178943 Exists SetUnion TypeMismatch
5010400b65d4af723456ddafa1612a6f55ddbd01 Forall SetUnion TypeMismatch
0488279576092473e99f7344a091beed615dac48 Forall SetUnion TypeMismatch
c481ae7e32567b35fcd129dca28dea9e192683e7 ExistsInDef SetUnion TypeMismatch
df93107b221994ab45127b91d2e1764891d5b905 ExistsInDef SetUnion TypeMismatch
ceb55519285f1d8e405cfd7742a2f962514dae16 ForallInDef SetUnion TypeMismatch
0def3d4e4706ffe021854a96bd16a115fc14e64a ForallInDef SetUnion TypeMismatch
111fee14ae5e312f32c2988981f9c7193f9bf763 Choose SetUnion TypeMismatch
dad97dfa1911ec09e7dfcddccdbd89f02613c0b1 Choose SetUnion TypeMismatch
d8ea886d3b22ce80343134da3c9599302a56789d ChooseInDef SetUnion TypeMismatch
c98d2332104f11399293db075a80f15c69f73b80 ChooseInDef SetUnion TypeMismatch
134e5e3c351b144b4a8f71b19f655bdcaa893523 TupleEmpty SetUnion CanNotBeCase
e81ea8d88a1b89a658e71a9bd13946dd9af3217e TupleEmpty SetUnion CanNotBeCase
eb2f9fa09fae9d15a0d274a3b409f2ffb77afb61 Except0 SetUnion TypeMismatch
83a5548af4cf70fe1d82a1c90cf2485721eccebf Except0 SetUnion TypeMismatch
a7ea073d85c0d180d6265a02f012b0b7e2a6537d Except2FunTuple SetUnion TypeMismatch
3ec4d08c36a623e00b6833539d5cf92bbbc02b7a Except2FunTuple SetUnion TypeMismatch
ffc5d1b379f7894f7f803078e74c73eb5f5e28f7 NumZero SetUnion TypeMismatch
ded82032c1e8e9e041649862c308260c13c436c1 NumZero SetUnion TypeMismatch
db2350dfda26d7025e71edf9fe4d92bfa910aef0 NumOne SetUnion TypeMismatch
86f7ab414d52bf0ac2d6b9451db428b4f7310edf NumOne SetUnion TypeMismatch
0ec9573961bc0dedc0a8cdf26161f0db5d453a8b NumMaxInt SetUnion TypeMismatch
90c21db30debe4cc69c33eeb4f4f667aaa58a652 NumMaxInt SetUnion TypeMismatch
9663a9f1278fba392d18e3bb7ef6d14d678efd7f NumUnaryMinus SetUnion TypeMismatch
fa605fbdd1462bdd8944ee3f90b139da5b201662 NumUnaryMinus SetUnion TypeMismatch
2dcae0148ff37400b900287948e6c27381a4f425 NumPlus SetUnion TypeMismatch
efc6f697b92dd382126965077f1ebede1bfaf44b NumPlus SetUnion TypeMismatch
97deb50718dce592a67f014c4262fc7dc2411d47 NumMinus SetUnion TypeMismatch
f5fd4f0a6a6fdb583275bcb7a7392ba313ce1aeb NumMinus SetUnion TypeMismatch
6bb51cbd994cfc08b080d5328eccf5feaeb0d815 NumMul SetUnion TypeMismatch
7ac8750de032f48a38602e3cb738fdb852506c0c NumMul SetUnion TypeMismatch
5f71c6b27c146f6dbbea2d3694ce77a0d0ee4677 NumDiv SetUnion TypeMismatch
c01822862309087aefbb6b26b3a82fd051a9e2d3 NumDiv SetUnion TypeMismatch
b3929404cdd66a5dc5163e93b5d5a6b9d463093e NumMod SetUnion TypeMismatch
0e9cf25b5e74b0c8320ea8f17f3625b85791c369 NumMod SetUnion TypeMismatch
32c40bc2459a53cbd088b9e9e7f900679cf6e65a NumPow SetUnion TypeMismatch
d05fbac15acdaccb9d3171627b2baa5d373e8fec NumPow SetUnion TypeMismatch
419421c720fb0aa9f9056de41ac72753c547986c NumGt SetUnion TypeMismatch
331f91ea56c0b5fc8453e94a226e26b8c6b78f0f NumGt SetUnion TypeMismatch
f0ad3d28c6e93c432b326ffd829284b33d3cd80f NumGe SetUnion TypeMismatch
f84c0d742791aa9f4cecf8e12cf4ddcaa955cc5a NumGe SetUnion TypeMismatch
36af0529c87a54d581ef9d65c2c30bc672396a01 NumLt SetUnion TypeMismatch
3608e9de28c09665a088e74ef18ad19d6bd9498b NumLt SetUnion TypeMismatch
df113315f3d83ddaa109421b5b92247834a51c20 NumLe SetUnion TypeMismatch
92ce4f0825c92a0895e1f255df130c212281dd06 NumLe SetUnion TypeMismatch
38904d1c3be775fe6fb208e5bc05cb391c7c3502 DefFunInDef SetUnion TypeMismatch
738822a12a0fc7e305a53b1d46903d6547a51f6c DefFunInDef SetUnion TypeMismatch
0122fdfcc323d0eec4919bc8846abcd9d8c61dd8 LetDefFunInDef SetUnion TypeMismatch
07db345e6bce97b705cb9830bbf14db574c06495 LetDefFunInDef SetUnion TypeMismatch
1548d95731a8ca8d8eede6c423225841b3029f84 ConstantModelValue SetUnion CanNotBeCase
2ecf290bba600b9e6af62cc746ec6e350071d4d2 ConstantModelValue SetUnion CanNotBeCase
20bd4f9ea0f1b255f410a6c9503715b1188e1bb3 Enabled SetUnion TypeMismatch
3ed57b78626bd9f1c6ea66954bd6abe8c1b6bea2 Enabled SetUnion TypeMismatch
b5ad4fe21370475342b61416f6a93848b9974ee6 Assume SetUnion TypeMismatch
7cab6941e947e62d1dc7038aef59aaccba69f95c Assume SetUnion TypeMismatch
da0da16163953cadbe16b0e09a41c796bacb56ce AssumeNamed SetUnion TypeMismatch
6f015770a0f51c18c195c4f0b201cee04d74b72d AssumeNamed SetUnion TypeMismatch
8cb3f8588c1e00df5efcca63b8dcedc7793fde31 IfCond SetUnion TypeMismatch
14f9a592930803dfa4969f975a14d3ba946ad30c IfCond SetUnion TypeMismatch
d46ff2400689fe4f0eeeb6f0cc88a3ad8e464f3d Domain SetUnion TypeMismatch
53d7d32b0e7f26398f741d70bdbe8488f5555761 Domain SetUnion TypeMismatch
c622c2da915f51ca78f2d6d77c2de608b01b6f10 Equivalence SetUnion TypeMismatch
66b28bb9ca3c3058bf2cefb88c38db822adcc1b4 Equivalence SetUnion TypeMismatch
d8c56b2ec94d3f6a66e45ca235150cca59ab9299 StringEmpty SetUnion TypeMismatch
0120d3106c5766d5180157c39a71e2d79afab3bc StringEmpty SetUnion TypeMismatch
d4d5bbb2bce56ecf12cf82d9f49056580c135700 String SetUnion TypeMismatch
e5b66c6127575f37f617b09e9be6d95f9697c3c5 String SetUnion TypeMismatch
b4b1030a0ac06b8d7a5f263b0d6796c8a88a151a SeqLen SetUnion TypeMismatch
5d10fc71ae9b2322c039fae07cfdadc2f5b568f4 SeqLen SetUnion TypeMismatch
82c169db57f88b234635d067d79f9103be59f86f SeqConcat SetUnion TypeMismatch
473c9ae305d9ff2599a49cd2537442d23e51e9d2 SeqConcat SetUnion TypeMismatch
9710b0819bfa1d4bce452c3df540311d62ee9a87 NatSet SetUnion CanNotBeCase
75bc105e55bbfec2b315bf01418a0c4951e93cd9 NatSet SetUnion CanNotBeCase
dd99642c5a0a7c93eb3e51dfb5ec295c1d12c959 IntSet SetUnion CanNotBeCase
e6787586f5a5bf92fe7f2853a2b7b9eb4eddd251 IntSet SetUnion CanNotBeCase
0c7ebb0a2e883c7fb20c3120a80e7aff94fef948 StringSet SetUnion CanNotBeCase
35959e10d8b0bbc9fde04329d102eef83dd61ad4 StringSet SetUnion CanNotBeCase
503da02fd11679bfd50c2d9f6140a25bde99c836 SeqSelectSeq SetUnion TypeMismatch
2ef013403a06ee7a3d134f72ce130a8c1a73a0ea SeqSelectSeq SetUnion TypeMismatch
6820cc708fa4f9a341ca8738f011097128a3efe0 SeqSubSeq SetUnion TypeMismatch
c4ddabddc294bba44452a2c0034a07e2530aebfb SeqSubSeq SetUnion TypeMismatch
8420cfefff91bed775157ad491fb517bdda43228 NumRange SetUnion TypeMismatch
a967ea2f2ee77161c0b8ce0d98eb8e4bc5e03139 NumRange SetUnion TypeMismatch
8cefe5f14576141800aebe679e9efeb7380d7790 TlcExtendFun SetUnion TypeMismatch
5f4cd49afbb92268d4dc6a5fe7fe92512d5814b1 TlcExtendFun SetUnion TypeMismatch
86309261312ee1e11a7774ca7015da9e5dfd95d9 TlcSortSeq SetUnion TypeMismatch
405d24ab7ebe1aef9bca5f717a470905677177d0 TlcSortSeq SetUnion TypeMismatch
b39b60582f94a4d52d9d52884e3b5c839f1eadba BagBagToSet SetUnion TypeMismatch
451a889b443531ea16d9884c0db2538859898704 BagBagToSet SetUnion TypeMismatch
feae3b9822c6b3d26c8554013c29e298bfc62c88 BagEmptyBag SetUnion CanNotBeCase
864005f8efca2bc8078de66388861cd751f1ba10 BagEmptyBag SetUnion CanNotBeCase
d14dd5e642675629571b56494c54e77f612c9a71 BagAddBag SetUnion TypeMismatch
6fb9b67e3bcd296b3ea76ac249866f65abb691aa BagAddBag SetUnion TypeMismatch
14ab6d9969c158fb5d267079ab54d350dbe4b3bd BagBagSub SetUnion TypeMismatch
936132d4ea8ce41caa8951ae064d40ad23fd8d70 BagBagSub SetUnion TypeMismatch
586c9913686eebe41491ab72bc00dd6228a56b2a BagSubsetEqBag SetUnion TypeMismatch
f7b3ebead0cb8d7a74b6e73e46a3cfe8d4bab12b BagSubsetEqBag SetUnion TypeMismatch
3776b2dec42a59d65e5180e55dface62e466aff1 BagBagCardinality SetUnion TypeMismatch
414a4f8e40b9e0a0b9d5d947b2c3af8c335ff980 BagBagCardinality SetUnion TypeMismatch
ac3d92f176ea28688fb90296ef07e15f25933b08 BagBagOfAll SetUnion TypeMismatch
3950973ac5094e586596f1f2a112a2d957cbff2e BagBagOfAll SetUnion TypeMismatch
0f676350dca705f2dc129fbf62fc4386c96e2342 BagSubBag SetUnion TypeMismatch
32e5a9855c253d5daf8b2dec486a9278321f4c60 BagSubBag SetUnion TypeMismatch
a25b45b33db21f7b1a66188566abda644392a1f2 SeqHead SetUnion TypeMismatch
ea53dfa062f8ab9623d7023d4384051d71f0169c SeqHead SetUnion TypeMismatch
e1e75cebfc0e3c869b9321541292177f364bb648 SeqTail SetUnion TypeMismatch
ca8cefa4d49036ff3a5418723ff4395fc968c4c4 SeqTail SetUnion TypeMismatch