Index

Skipped feature combinations by case feature SetIntersect

Id Case Feature Plug Feature Skip Reason
6fe5b629ecc8999920b8bb04c2579772e6286b5a SetIntersect BoolTrue TypeMismatch
62d5227d7cb365fb91675275349d40a6bd6f3d8f SetIntersect BoolTrue TypeMismatch
48976d2e52bb7de5ab09549ababefd245bb353a2 SetIntersect BoolFalse TypeMismatch
91eb27ac8c3b138a87ec8f6acd909000f5668a5e SetIntersect BoolFalse TypeMismatch
4f4195317e4a9b6d193da19271c036e48097da94 SetIntersect And TypeMismatch
e8821dc88d73ab29a81eda8a739747524eee138c SetIntersect And TypeMismatch
4d114119fedaea186a86050104bae4d30f24ffcf SetIntersect AndMultiLine TypeMismatch
2137f4d02217a37f3ba07f8dac9311bea5a2167a SetIntersect AndMultiLine TypeMismatch
4a8588a2b8d2100d23e9627f0b87f1d44cc447ba SetIntersect Imply TypeMismatch
f4a78b0e71a132e46083d2c8f001541f73f264f1 SetIntersect Imply TypeMismatch
b0d48c4724b8be14a0ae7e066716941aa95f3202 SetIntersect Not TypeMismatch
7f126eaa0a2744ee52c057090d0d5a5a5c325a94 SetIntersect Not TypeMismatch
0adbd84367dcada7993ce28ae89aa3091d09c049 SetIntersect Or TypeMismatch
165096bf487057c98622fabadf76f0c247411cb0 SetIntersect Or TypeMismatch
e2026baa63c6c45445f514b347f659d73cecc7f9 SetIntersect OrMultiLine TypeMismatch
47caa3f42d5b64994222d5d131279c88910be24a SetIntersect OrMultiLine TypeMismatch
c6853d963224e900ed17eb4fd71c151040e4d32d SetIntersect AndProp KindMismatch
53ff9f47ccc010d7cd267c43b9e864d51c78a1a5 SetIntersect AndProp KindMismatch
dea70a2d54fa685300898020cde6dc0b9c703d9a SetIntersect Boxed KindMismatch
d447158daad2dcf8a561e2e2831e16f1e8146729 SetIntersect Boxed KindMismatch
7b50333e6ff3f2078ddcefebe145ffa064b758d7 SetIntersect Eq TypeMismatch
f83f435297760ed79ea1b94da0ccd0854f1637d9 SetIntersect Eq TypeMismatch
d79245d6728f8713092bc7ea3e9e5e1fc0d2deb1 SetIntersect Ne TypeMismatch
3774f34faecd2cb0b77ea67d17604ec97dc2a51d SetIntersect Ne TypeMismatch
67a40426df4103ad50d2fad7e02240c3ae651dd1 SetIntersect Set1InDef AlreadyCombined
2a7cf746ca4b1a9aad78a778eb191eb298cdde19 SetIntersect Set1InDef AlreadyCombined
9e45d1ae49363cec96c21ea2fadb90a1601d32d5 SetIntersect Set2InDef AlreadyCombined
a8b237d48d1f9e0ee962e2440c1b893044c77eac SetIntersect Set2InDef AlreadyCombined
d61c2f82ad49d1360cee1273eaf0d5ecc6b29d8c SetIntersect InDef0 TypeMismatch
ea2077d52c6589456e456f282b21b509d074588c SetIntersect InDef0 TypeMismatch
9d90d2a5e8e6060d68aea6bd117f1b8b94d9f1b3 SetIntersect InDef1 TypeMismatch
4ef34589a6ad108adcd88a9652e89006f371162d SetIntersect InDef1 TypeMismatch
32778c32034596bd49588777c57b4af1087281c5 SetIntersect InDef2 TypeMismatch
a7d236e6e1800892cdfce413a1eef1fd665ffee5 SetIntersect InDef2 TypeMismatch
d93f057528bfb532d3756f8ee59489d72c09e91d SetIntersect Fun TypeMismatch
a433c0429c973cb35c595f1e2111d2e64cb6c0b9 SetIntersect Fun TypeMismatch
26dd4a8c35fe3c2f9f86989465b9f293d5dd4212 SetIntersect FunInDef AlreadyCombined
21547f29437d5379ef112757a3bdee21e133d327 SetIntersect FunInDef AlreadyCombined
39f46cffd4d774beece5c834b724b09f87522c57 SetIntersect In TypeMismatch
827045bc03beccb942ec12b5ffe323a079785eab SetIntersect In TypeMismatch
8b88bd2febcaa1c7361a471be4b51a053e0b3ee1 SetIntersect NotIn TypeMismatch
dd0468fa4517a1c9f672c640eef37377bd6bd82b SetIntersect NotIn TypeMismatch
e9cc86358d2214ec56bc554be834f905c6dc97c1 SetIntersect Exists TypeMismatch
31a6bef83702226bfab46e8308b36a4ab11245a1 SetIntersect Exists TypeMismatch
d19c828fc3c2a40eab52a5f1a5a4d0d9383f1e45 SetIntersect Forall TypeMismatch
b5dd17cc69f2f9a7177ad33fcdd41b9e2895b268 SetIntersect Forall TypeMismatch
191c614386d04e59eaf1b3af090cde8c1de7cf06 SetIntersect ExistsInDef AlreadyCombined
0bb3504ff1654200228a1c7ae1fa8cc1c85447f7 SetIntersect ExistsInDef AlreadyCombined
ef19a0d7a9e366b7674f866a50af093bafd286b7 SetIntersect ForallInDef AlreadyCombined
cf470a2f98ca940284170484be5cc5fb8603df85 SetIntersect ForallInDef AlreadyCombined
303a963fae2d9b1fbc13a16a3a43cb09e497312f SetIntersect ChooseInDef AlreadyCombined
5fb583d88911c0a6a9e11caf2a1d7c68f3c252a0 SetIntersect ChooseInDef AlreadyCombined
e55b90de29c59903705da6f68b5a7fc9d6ffcc9d SetIntersect Record TypeMismatch
99a4236abe377199065d78175fb8a71de206336e SetIntersect Record TypeMismatch
aedf8cb8618c06260c788832573ab8b87cb833dd SetIntersect Tuple TypeMismatch
22ed79d77054e945c776d82dc57f6eb22deb9112 SetIntersect Tuple TypeMismatch
18828a420256a63d26a8897432f6bd5266022db6 SetIntersect TupleEmpty TypeMismatch
c7cf2c8da9c954993151cce5c7793d02bbff25f4 SetIntersect TupleEmpty TypeMismatch
84fc1628a8bb0c4a30c4138a0df774923207157c SetIntersect Except0 CanNotBePlug
fe8b8a55053b1d21508eeb5adc8eb3ee2df954d3 SetIntersect Except0 CanNotBePlug
f91994103e4203db7d73c6d1dbd6b28cfc94b1c3 SetIntersect Except1Fun CanNotBePlug
32d4076c571bea2a26b60f8219f59e12673802ae SetIntersect Except1Fun CanNotBePlug
c711a84647caf7830013d5a300b874899ad1118a SetIntersect Except1FunWithAt CanNotBePlug
f8eeb6f93d3cb6a69351e1a1825290c1aedbaf05 SetIntersect Except1FunWithAt CanNotBePlug
a6650bd592ac15ba941dcbe501c4b2d27353125d SetIntersect Except1Rec CanNotBePlug
5318869855e63d3818da466d657db8818d4a7336 SetIntersect Except1Rec CanNotBePlug
d1d35d21fafc7e70fb0bb0b852c7f3a9bc87a4dd SetIntersect Except1RecWithAt CanNotBePlug
e2200634f6982924b4508a394e0dd17d74341ae0 SetIntersect Except1RecWithAt CanNotBePlug
ac18780dd257439ade31b8da53240a0cdffea88b SetIntersect Except2Fun CanNotBePlug
a58c4bee14b6d404014f0f183e0f736e5821c822 SetIntersect Except2Fun CanNotBePlug
6c56ec6db352b138ce8909fcf54b73135a820532 SetIntersect Except2FunTuple CanNotBePlug
84f73c7dbbac63ce3476fa3ccc54c2c457bf0f8e SetIntersect Except2FunTuple CanNotBePlug
e4d5a1abaf0679544517fdb42d17b457863fb605 SetIntersect NumZero TypeMismatch
d34812168225ecf319552da7a3bc68f2a2d425e0 SetIntersect NumZero TypeMismatch
229aceff523b50a65df6a6bb36f09a20e251d5da SetIntersect NumOne TypeMismatch
96bc49b003188c39f7a8d5ed1de6eb7d221338a9 SetIntersect NumOne TypeMismatch
4e99a6e1b192963d20ff8432bd8928fc5e231db5 SetIntersect NumMaxInt TypeMismatch
e5da7e7d455db2ee2fc643622582f859348b1f09 SetIntersect NumMaxInt TypeMismatch
5580028dc0b178e7130935ac4fb1abedc5cd31e1 SetIntersect NumUnaryMinus TypeMismatch
9110ec9b5d1aa546d43393b6530c10965f9a2875 SetIntersect NumUnaryMinus TypeMismatch
cdd6c884848dd0e3dff07f54d150ad83b67f999b SetIntersect NumPlus TypeMismatch
7da6b649899f9fa5a8bb0bb0c452bf289ec22c0c SetIntersect NumPlus TypeMismatch
6fc63bce0a6ec068be9229a163480ebfb625f583 SetIntersect NumMinus TypeMismatch
5b3a9ce64f52aad0e2e7ad914f28e9c1038df265 SetIntersect NumMinus TypeMismatch
6f7d11709a1496562c1c829aa0e225b0d3411571 SetIntersect NumMul TypeMismatch
8e1ee7262fd29e76b750cac9ac9866dde4ad2794 SetIntersect NumMul TypeMismatch
6468af05369670da65af29e4704284ca1e22ba94 SetIntersect NumDiv TypeMismatch
8f98f95d3a4eb753f1212ee86108bdea12e59f7e SetIntersect NumDiv TypeMismatch
7c5caa8eb82c9764690131e3bdd80d6aba491c20 SetIntersect NumMod TypeMismatch
14c7912f11f9a55884bf41064b00f23c04ca902f SetIntersect NumMod TypeMismatch
ea0b66fd9551539842f67626ba27a1421cffa499 SetIntersect NumPow TypeMismatch
df44406da945cc4aacab386dd27fba24a31571af SetIntersect NumPow TypeMismatch
98cbf565a90f201b298257c8d856671cc67f13d0 SetIntersect NumGt TypeMismatch
9c66b4bf0fe3a22ee89563acb75a04fc48a6426f SetIntersect NumGt TypeMismatch
2c7baeced35b3596cf46b3cf7879c57e3e0ba5f4 SetIntersect NumGe TypeMismatch
8459e64ba4248d0ca5b3b061cda5632112ba598e SetIntersect NumGe TypeMismatch
c77f563fc83bc4bc237676dac1e618cc0bcac434 SetIntersect NumLt TypeMismatch
b3dedb1ff894e0b10abec3bc24af8e09806dd14c SetIntersect NumLt TypeMismatch
45e0c9c793235a3620678688b26f5592c7fed1fe SetIntersect NumLe TypeMismatch
52b8ebc46d1b14c5ea12b6204456c50fbbd79421 SetIntersect NumLe TypeMismatch
68ffb82a1041fee3541cafb672d1f1c00c19b484 SetIntersect DefFun TypeMismatch
486e88d9413a3ee33b517e21d6057fed2bc8da84 SetIntersect DefFun TypeMismatch
1de7e150a0994a273019ed26825f64606b02fafc SetIntersect LetDefFun TypeMismatch
20c590f98d2aeb8882c8123f3a6fd15ae604f744 SetIntersect LetDefFun TypeMismatch
ba680307d92f0412c22c0d4d3a68a7b38ba96c64 SetIntersect DefFunRecursive TypeMismatch
b870f397e6980d76a2abdabec56f36bbdfe64853 SetIntersect DefFunRecursive TypeMismatch
f5e631075f1e150b0a5455a36372d1e6331a9ea8 SetIntersect LetDefFunRecursive TypeMismatch
54d2a47e032433fa98d8b4aec24ed11893a7d9c4 SetIntersect LetDefFunRecursive TypeMismatch
22e828c9074d33ffd9103880f4128429326d5284 SetIntersect DefFunInDef AlreadyCombined
6f0dc47c157e75a78e922a81a513bfcfa58693fe SetIntersect DefFunInDef AlreadyCombined
f9734d33c9ddd7f52b335c5293c1d8cdc76b7a85 SetIntersect LetDefFunInDef AlreadyCombined
c6473353851570326022f4128d5e2c10359604ad SetIntersect LetDefFunInDef AlreadyCombined
86867a6f2dcd4f85ce793613860735f2779bd521 SetIntersect VariableViewExclude VariableExcludedFromView
48bc2f20ffa85a641cf731eed6f5b2649d3fbb69 SetIntersect VariableViewExclude VariableExcludedFromView
32e9235ef2797f843ec8b1209b33a382c5c6c1b5 SetIntersect ConstantModelValue ModelValueCanNotBeUsed
d07a4e53771736f010b0ae4c4719737dd85fb8ce SetIntersect ConstantModelValue ModelValueCanNotBeUsed
08a4c3333c383c7943cd7a820633a2ed3b6bb4fc SetIntersect Enabled TypeMismatch
f5dc5c77c3abc218775c8fe0682570b9ae21bd40 SetIntersect Enabled TypeMismatch
f75270bdcc0df7a32bd4bd896f96d82ed9420203 SetIntersect Assume AssumeIsNotEmbeddable
e11508d72e40b2bb46d72e45c47a606c3633249d SetIntersect Assume AssumeIsNotEmbeddable
bb3bc6c985b1cf60f0234d65fdc485e5ef8cd531 SetIntersect AssumeNamed AssumeIsNotEmbeddable
9472ffa8f04bb31d51bd461848056fcb449fe6fb SetIntersect AssumeNamed AssumeIsNotEmbeddable
12dce1f184159d5aaff1bef71be88560814054ba SetIntersect Lambda TypeMismatch
cf5c0c71199a08ef186eb2d70b3a7da1ea15a518 SetIntersect Lambda TypeMismatch
3e50e015f40d1ee70a96a1b59fbe44e70bedc778 SetIntersect SubsetEq TypeMismatch
ebde1aa4d4ffc06150d5a82b007bed714da4649e SetIntersect SubsetEq TypeMismatch
0c850818c610ba09068bb68fb43d1df59c9b63b5 SetIntersect Unchanged TypeMismatch
0aace716383aceeb901345d2d363643d31b47cc6 SetIntersect Unchanged TypeMismatch
5aa7c35a4349f7560dc0ea3285db6e994cac07c5 SetIntersect Equivalence TypeMismatch
fb0e91c157f1daa6b6f2a67679beab48100f7443 SetIntersect Equivalence TypeMismatch
dab9db3f9a3fd5587952c398a1f52d6f7c5a7dda SetIntersect StringEmpty TypeMismatch
3b135247dd8ddb3e33bfee762ff126d6d3143ddc SetIntersect StringEmpty TypeMismatch
f561b9b8201ac2eacfc88ef08813e936d5307c6b SetIntersect String TypeMismatch
96cd621a5e080b12a4f6b3e9aa604b8806b2cb5a SetIntersect String TypeMismatch
4a4970d10ce0353aaf2ff92e90989d03ba0b16a1 SetIntersect SeqLen TypeMismatch
803732cd3f16556c0f9f61d5c718bbfc5520f8b0 SetIntersect SeqLen TypeMismatch
608a093db565210b32b7b1bc2cc7760a22c412e1 SetIntersect SeqConcat TypeMismatch
f27d9ec99c544a0de1476fc726d9772d726b0322 SetIntersect SeqConcat TypeMismatch
4a367e131c91bcc404e292f947d5c1114d20926e SetIntersect SeqSeq TypeMismatch
506d28b69fe485d5ec8faf3d51d6a394c8642276 SetIntersect SeqSeq TypeMismatch
305e6d0e2b064dda8f335d6176b3e613a4a27a93 SetIntersect NatSet TypeMismatch
b3a9e65b28bfec3bd02a01ab309717f6d97b3fae SetIntersect NatSet TypeMismatch
fbcf21b07b74797203aa6f33645a57d33d319f8f SetIntersect IntSet TypeMismatch
d2fdb7ad38e4ebfdd4d2c14a06adabd5a0c48331 SetIntersect IntSet TypeMismatch
e1b1353738214a46c92730b074ea4aa8f8b86def SetIntersect StringSet TypeMismatch
5f798965146dec092287988306f884f6aa8ddd78 SetIntersect StringSet TypeMismatch
84115ca752ee03b9b72ae5af5cd8ed3c582d63bf SetIntersect SeqSelectSeq TypeMismatch
ce6211ea197d4321391a164322a5f6b2a97e1169 SetIntersect SeqSelectSeq TypeMismatch
a27091b89b5a987b1c767c0c29d3bbf4ecc1bbd6 SetIntersect SeqSubSeq TypeMismatch
e7ebfb811f7c1235d8eeea2a8d1b4fbb4b2ea53e SetIntersect SeqSubSeq TypeMismatch
a0e86bcbddc2c16d5ce775109f133135ca369df7 SetIntersect TlcSingletonFun TypeMismatch
f01c6f11c116ac89a409bbb2f1e3747de524aabb SetIntersect TlcSingletonFun TypeMismatch
994225b3863440ed71245c79f3b46467b2dcc0f4 SetIntersect TlcExtendFun TypeMismatch
f158f5aedc8b3f81856a35c6e7a89a293e26fbb1 SetIntersect TlcExtendFun TypeMismatch
801675d1e1ded07e492626cf36c7e3b963e896e7 SetIntersect TlcSortSeq TypeMismatch
ea063d3cf44c0a9166e966afc7f1312231fe422c SetIntersect TlcSortSeq TypeMismatch
363369a4545d947c00aa5a843f572482cc9786e2 SetIntersect BagSetToBag TypeMismatch
67a263e79309b978a7be3a3280bd495a4a23916e SetIntersect BagSetToBag TypeMismatch
83fee769663117d9598f8c7df545587a0cb7b6ee SetIntersect BagBagIn TypeMismatch
497d4d9e4ee951597b37923ff92d20bc07b25937 SetIntersect BagBagIn TypeMismatch
cf47fdd0e18c85aa0b7c375cdaa39c983f093169 SetIntersect BagEmptyBag TypeMismatch
d3ffe46a9f934197966ef07adfdb00407869cc77 SetIntersect BagEmptyBag TypeMismatch
1797cddd3dc7c91b6631bf3e9c82c7a07d9925a3 SetIntersect BagAddBag TypeMismatch
d681398208c3d1e908c29eba461372412eaef6eb SetIntersect BagAddBag TypeMismatch
51671944e62a1d9f27c8d5497f7d3483be093603 SetIntersect BagBagSub TypeMismatch
69773ebddd5db925d83661a7c73e120f6a9b7c66 SetIntersect BagBagSub TypeMismatch
c4543d3f66b97d405713568e88cd4a3901ad34d8 SetIntersect BagCopiesIn TypeMismatch
2b3a004b0f17e3380d7e4d0743e579cdf0f28dcd SetIntersect BagCopiesIn TypeMismatch
e8e7ed47848311efdda640ff64b70141e1f3a712 SetIntersect BagSubsetEqBag TypeMismatch
c7721d491508330c17a6bb64de43ab3b847b8fcd SetIntersect BagSubsetEqBag TypeMismatch
2df84287818bd25514e945d55d482c7987cd5d9d SetIntersect BagBagUnion TypeMismatch
103876083d5e755f50d3901c97bbf01b84cc9e45 SetIntersect BagBagUnion TypeMismatch
e937afacf45035d8201ae4cac68e7c81fdc90a95 SetIntersect BagBagCardinality TypeMismatch
eb4bf1407ebe11d6e12b3ba86593b40cd9a4e145 SetIntersect BagBagCardinality TypeMismatch
0b76455ab06a1064a957724ba21fd6ca96b5f82c SetIntersect BagBagOfAll TypeMismatch
7f8c5aa02fde873d697c2afcf9f20578d377b4c7 SetIntersect BagBagOfAll TypeMismatch
333ff765cf85616cc1d83102025494b7e6f7ceb7 SetIntersect FiniteSetsIsFiniteSet TypeMismatch
887e237cd2e003b5240df0720f8ab3f844bdfc0e SetIntersect FiniteSetsIsFiniteSet TypeMismatch
58d56447f16ba56951b762ff21467823aba30973 SetIntersect FiniteSetsCardinality TypeMismatch
0eedbd996235b3c986ccf7fd478c0d68c985c6be SetIntersect FiniteSetsCardinality TypeMismatch
629568d0e1c9dcf6ee1da2f78b76d6845052900c SetIntersect SeqTail TypeMismatch
0820869d9e7ff1f4cb386a7f828cea8cdec99d61 SetIntersect SeqTail TypeMismatch
968139d79e8371518e97511a048225878749e231 SetIntersect SeqAppend TypeMismatch
e5ebccd87b052863543d5ad46589f97c1bf37ecc SetIntersect SeqAppend TypeMismatch