Index

Skipped feature combinations by case feature BagSetToBag

Id Case Feature Plug Feature Skip Reason
39f184c7378fedf3b2ea17d9b472f8b259778b54 BagSetToBag BoolTrue TypeMismatch
e9f6871557e07320a42ca19f686516613428ef41 BagSetToBag BoolTrue TypeMismatch
9e27c664006304427b2ca0a5ae780a4f20fa686f BagSetToBag BoolFalse TypeMismatch
1651c659065dade36331b9dcf76ab6a8417092eb BagSetToBag BoolFalse TypeMismatch
9bb60750d5503ad5f66a40222b07078b7268ad8f BagSetToBag And TypeMismatch
4b2e19d91ed1b7572596bbeb5319c64b5834c509 BagSetToBag And TypeMismatch
0a4f98994b0c3c0da622120af059d98b03a5d80a BagSetToBag AndMultiLine TypeMismatch
9d3579829fdf192ac949b44d0d319350b3dcfa58 BagSetToBag AndMultiLine TypeMismatch
bcd59dbc3d06d7d083230bbff0c069dad7eade14 BagSetToBag Imply TypeMismatch
b1657f37e2b7f102ca1f821663ba50d8c0f7147e BagSetToBag Imply TypeMismatch
76cfbabcca506c346b1badac3d4730fbab91604e BagSetToBag Not TypeMismatch
3106c23edbea20ca93bde05eba933f67ce5cbc82 BagSetToBag Not TypeMismatch
aad97c122742aaa5e35878b7b9ee84febd7e62ba BagSetToBag Or TypeMismatch
14d9d404779f18dd5bb4708b493c8e1f728da48f BagSetToBag Or TypeMismatch
6cd53f4e484ebf8102ec0020eff7d332521f4155 BagSetToBag OrMultiLine TypeMismatch
c138bbe15d69062a1f0ac0351c0dcb1f4ce1aec1 BagSetToBag OrMultiLine TypeMismatch
87ab62e5d26173910bd3f5eadd80ba7018c401a3 BagSetToBag AndProp KindMismatch
630e51eba8722a47b8376820d4b530ec1e8aec81 BagSetToBag AndProp KindMismatch
e1ee648b78c1299103d1820b0664079ae52caac5 BagSetToBag Boxed KindMismatch
91ea3fce7e9dbbf78fd2fadbbf2bbfaa2b15ca1e BagSetToBag Boxed KindMismatch
6c9c3a17cb75dd2b0846981f1d3ae9308a8be734 BagSetToBag Eq TypeMismatch
0b9297e39a77ddbd22ef3c70af2fc24c2115e7f9 BagSetToBag Eq TypeMismatch
9483fb695960475a10b6cef31a01dad644b1adea BagSetToBag Ne TypeMismatch
57cfccc0a6dfe993339f33bc72ecd76115027720 BagSetToBag Ne TypeMismatch
2ce939cf527f1bde272b22ece1b0af051c6663c2 BagSetToBag Set1InDef AlreadyCombined
21de640c80d715c6801dd25140ce1f9b3e352c29 BagSetToBag Set1InDef AlreadyCombined
dcd0da5dd01b64ab35d02a37c8236236b3118b35 BagSetToBag Set2InDef AlreadyCombined
e4845a4e8d5b9de737a99d7da69dc670d04e0211 BagSetToBag Set2InDef AlreadyCombined
b628b317283f3da2029c35a5d1b716e8bba159d7 BagSetToBag InDef0 TypeMismatch
67006c0648d16ea429181da99ce8ab49c4b4b096 BagSetToBag InDef0 TypeMismatch
e35455de563436a4f8a9d5717f7666c021a85296 BagSetToBag InDef1 TypeMismatch
756a9bdb11918a7c5c3a07af80a44fe4240dab93 BagSetToBag InDef1 TypeMismatch
e0264919e2a0c18cf29677fe5476ea02e76ecb8e BagSetToBag InDef2 TypeMismatch
ae2a9dce4a94a4d14bdc4f2e7714511d9f149cdb BagSetToBag InDef2 TypeMismatch
c843a6d3481ba3d3e43271945b9bb24fcd5c987f BagSetToBag Fun TypeMismatch
8cbee1fbcc5e616fd86fc11ba838a40a5eeea4f4 BagSetToBag Fun TypeMismatch
eeddb5ee079479b08d22abaddecd4894d612ef48 BagSetToBag FunInDef AlreadyCombined
648803137a6a19b31ad247fe1c3b2031c80b36c6 BagSetToBag FunInDef AlreadyCombined
cff8c40847f281c165479f3c05f37f9b422ba182 BagSetToBag In TypeMismatch
09a04d8d59d8aa6d4bf6341d2f04280ad6abd307 BagSetToBag In TypeMismatch
da650c98cf16c9b7f4d52996782adbe7636fed76 BagSetToBag NotIn TypeMismatch
cfd2e8ef98701eaaa4d2270a619c12a828e15967 BagSetToBag NotIn TypeMismatch
2503d94c241392d5435b891b42d0a7ca7cd4ec71 BagSetToBag Exists TypeMismatch
bb06d5b912f8097dce3c295c7496032ce059f5f1 BagSetToBag Exists TypeMismatch
dd5e02615c9fb811684cbdc0056119605b9344fa BagSetToBag Forall TypeMismatch
21673e29dc0f062fd0b58574c0137eb722bb7a82 BagSetToBag Forall TypeMismatch
a0a1daa30e5878b9c04e1cbf40dbe61dd9784bfe BagSetToBag ExistsInDef AlreadyCombined
0cd654c62240852a406e28cd405b033875275ba7 BagSetToBag ExistsInDef AlreadyCombined
35eb0fd9e23a15210abf9c39aba7cf904237acfd BagSetToBag ForallInDef AlreadyCombined
211a3cd1f6c5f1d52e30311269244712b2a80b06 BagSetToBag ForallInDef AlreadyCombined
53f0a8fdedd0528297caf394c933e66ad420e0c9 BagSetToBag ChooseInDef AlreadyCombined
5679b7f932b22cd9da07b46fd03928e308044935 BagSetToBag ChooseInDef AlreadyCombined
de7b7260768b2d794e617f85a3c04039afe62b28 BagSetToBag Record TypeMismatch
fd957f8b196934d500f8d140c3692848ea58adc7 BagSetToBag Record TypeMismatch
2790984d2d5e161a5032d5c6e96d7c633839036e BagSetToBag Tuple TypeMismatch
795fad939f8f56e91ebb495392c0b31c1081e3a5 BagSetToBag Tuple TypeMismatch
e9193b691a3711c2b7f36fd16ebc584bd750e9f5 BagSetToBag TupleEmpty TypeMismatch
f8f381dc42e810035dd8202f43086132d2c98fc4 BagSetToBag TupleEmpty TypeMismatch
e684f21328649176439ff74f01c5eeaf7cf2e20c BagSetToBag Except0 CanNotBePlug
207f863fe4957e20d035c974e9b61b4e289ac5c0 BagSetToBag Except0 CanNotBePlug
aea64d45375cc0353ac4862ecab285d18188180e BagSetToBag Except1Fun CanNotBePlug
55e116bf7fea2bd2cf859edfa96d17b6d1cc3160 BagSetToBag Except1Fun CanNotBePlug
f0eb38e48aeb73749a155774716db7d0d17490cf BagSetToBag Except1FunWithAt CanNotBePlug
f9cf0e46e83ea041e03f7545fd698cc7572a73ce BagSetToBag Except1FunWithAt CanNotBePlug
741f267c3cb3c20c27b5c86ffebe94baa0b8928e BagSetToBag Except1Rec CanNotBePlug
fec0423d02b070de7e4891046691269a69fe9d08 BagSetToBag Except1Rec CanNotBePlug
20c8e04d6f5e9fd6da236f006daa50f3033bd5f1 BagSetToBag Except1RecWithAt CanNotBePlug
d37688d0cd915de9f54279bb92a3c7bf38430465 BagSetToBag Except1RecWithAt CanNotBePlug
fdaba1bf61a7a026264d89e8f99e635051ef1a77 BagSetToBag Except2Fun CanNotBePlug
e1260aeaec6df85101a9ce6db60c7e876536c2ab BagSetToBag Except2Fun CanNotBePlug
615ce40b121edcf31e6937295c7c0fdd72630b75 BagSetToBag Except2FunTuple CanNotBePlug
606998241613a7dfd6df7018e47628234745c4e5 BagSetToBag Except2FunTuple CanNotBePlug
9fb795b4b84e67c338874983c176b25b967fcfc1 BagSetToBag NumZero TypeMismatch
0aab6b77e49fd2a287c698bfe053a868434cebc6 BagSetToBag NumZero TypeMismatch
90ea5b5f18bdf311ca37ddaca5c0602841cb1e73 BagSetToBag NumOne TypeMismatch
42eeefb1e09c5209eed3bb7061c301c3d1ad1f64 BagSetToBag NumOne TypeMismatch
0bfa77022963440045cabb5d442416fd477c3ab3 BagSetToBag NumMaxInt TypeMismatch
d47291aea5e8efcc042c78332b1daf40eb39e81e BagSetToBag NumMaxInt TypeMismatch
c72d8d59b06215d9395a25d32e2945b8a44dcf43 BagSetToBag NumUnaryMinus TypeMismatch
473c9b88f79e204ddee618f8c091e13952bf5c0a BagSetToBag NumUnaryMinus TypeMismatch
3a5444e4abece6a204adbc59843efaf3d7ed9326 BagSetToBag NumPlus TypeMismatch
2ba356bb06e89d91dbc9e3165912d8adbcb17873 BagSetToBag NumPlus TypeMismatch
8960af5ce540dd3e953726dd62efa43ab192f8b8 BagSetToBag NumMinus TypeMismatch
550a705471e4c5e01e2ede85764dc1c00cd9f9ac BagSetToBag NumMinus TypeMismatch
6d65ce3ddb6ed0ff9f0f18bd04d948c3849c4469 BagSetToBag NumMul TypeMismatch
690de8ef43a021a1fb99c81be0dd977c51ac33b2 BagSetToBag NumMul TypeMismatch
efba2d37fc9a1f2f4a733b1d8a9638d9ae9d6600 BagSetToBag NumDiv TypeMismatch
ec2722c35c41dbdc006fa76d01edbd5d063cd2d3 BagSetToBag NumDiv TypeMismatch
434003d10136feff54f224e5b186c4345c51ac6e BagSetToBag NumMod TypeMismatch
86b271fd883173ef85fb223be6a46527d72873f4 BagSetToBag NumMod TypeMismatch
9bf43da7a4f339d9f1c27e41796470c4c219f802 BagSetToBag NumPow TypeMismatch
795bd78d280940f9ea5fbb8e93cd76eb43613faf BagSetToBag NumPow TypeMismatch
29b6e15566e22c95563024db04957d858d2ad63b BagSetToBag NumGt TypeMismatch
6710c51d40a1fe09c5347e90b19adeb23d7381eb BagSetToBag NumGt TypeMismatch
4bd5a78221f4c07f99dc36c5819b0c74e95b54b4 BagSetToBag NumGe TypeMismatch
385482c2c6aafb69bf6427310560b908c7acbc6c BagSetToBag NumGe TypeMismatch
8c0495e2a6332459fee4048d016046b69742936a BagSetToBag NumLt TypeMismatch
ec5bb148c1cd7aeee63744c03d7de9d803787351 BagSetToBag NumLt TypeMismatch
c961230e1b665778c22c1a9d1c2c72a3cb9c8bb2 BagSetToBag NumLe TypeMismatch
88d68da5422afa3eaf65679353e2301030d0494d BagSetToBag NumLe TypeMismatch
f4a4bb0d3d1d4d3721b32b13d42a4f323617249e BagSetToBag DefFun TypeMismatch
b04111038320a84c70e4ae17b6d14a638028002f BagSetToBag DefFun TypeMismatch
27430707f785f8a5ada62fab15523626f6813517 BagSetToBag LetDefFun TypeMismatch
3de73ba3a217d69e8c5257cd4e290b64f97df8e5 BagSetToBag LetDefFun TypeMismatch
09dbdca41fa195883ed7c441f31361e0f118cb49 BagSetToBag DefFunRecursive TypeMismatch
1ea0032bc41d64e9dc8bbc35fbbefca0a2aaf916 BagSetToBag DefFunRecursive TypeMismatch
e2bba4372ca5dfb216ae695cb2aa25a5f7172dd8 BagSetToBag LetDefFunRecursive TypeMismatch
97da7822d4bb3ae932cb948b45f396e32b34c5c3 BagSetToBag LetDefFunRecursive TypeMismatch
eaf969a988a502a9204dd2daf2c90c48bb86bd33 BagSetToBag DefFunInDef AlreadyCombined
e5d85e29cca8a9728927db99f762f62b6cb44770 BagSetToBag DefFunInDef AlreadyCombined
a2f08652acd044e29ae565e2d2700409dbdc2cc5 BagSetToBag LetDefFunInDef AlreadyCombined
dd32bab701756518f1cac49f1a8dbcfc4f0dc74f BagSetToBag LetDefFunInDef AlreadyCombined
5683bf97d6ec1a27c54f194067b7dcada2679832 BagSetToBag VariableViewExclude VariableExcludedFromView
0069f001fb6450488d24686d73850019b354fd28 BagSetToBag VariableViewExclude VariableExcludedFromView
10c9972c8be5aa23532174a707d659c121b01f84 BagSetToBag ConstantModelValue ModelValueCanNotBeUsed
32dd42d7197003748beda44ee18845e096aafdbb BagSetToBag ConstantModelValue ModelValueCanNotBeUsed
ecc41564113f9c3510a6d184d99b8a014a584407 BagSetToBag Enabled TypeMismatch
4a8a5bd88ce6fe6e1d98066c326cd1c0344c9ac7 BagSetToBag Enabled TypeMismatch
d04ebd437cb719e7016ca7f1b6492e9873e899a2 BagSetToBag Assume AssumeIsNotEmbeddable
5ef90bd5164a5dd5190ca3ca0f9928be7df59f35 BagSetToBag Assume AssumeIsNotEmbeddable
058ad484360d195eb14b9d989d05220666d34b69 BagSetToBag AssumeNamed AssumeIsNotEmbeddable
e12e84c5e6a01ef8b205a6984e2bddc85a330d4b BagSetToBag AssumeNamed AssumeIsNotEmbeddable
be7ca1659e9b9e345d3d4b4a444b91973fc000e1 BagSetToBag Lambda TypeMismatch
76040fa3beef19ae35db4d440e28839ade15fa6a BagSetToBag Lambda TypeMismatch
ff035f5017a071dc581bedc88de864baceeb816d BagSetToBag SubsetEq TypeMismatch
1c74acbf7579f6754df3b46be9a686b278eeda26 BagSetToBag SubsetEq TypeMismatch
16df8841b5847a0595d05e4fab974a13505d4f20 BagSetToBag Unchanged TypeMismatch
1fdca51cf846d6c03f0ca4e8877d5ac79dd92fee BagSetToBag Unchanged TypeMismatch
9acfea22a809163d3edb63257da481987b619c3c BagSetToBag Equivalence TypeMismatch
a431c29bce2eef49dc9fc4ec39391b28c7842a01 BagSetToBag Equivalence TypeMismatch
751dfd04c11fcf4e109b36c0478e686b571e45ef BagSetToBag StringEmpty TypeMismatch
fb439fdd24ea0457ec4685d5ea512766abb67d89 BagSetToBag StringEmpty TypeMismatch
d5b0bc64896274e7305063cc571a00a56ad499e6 BagSetToBag String TypeMismatch
32a9310f7893936eb201c311b0333d32d05514ff BagSetToBag String TypeMismatch
61f18f54d4a6f113dd57175b38bd35f483dfab2a BagSetToBag SeqLen TypeMismatch
603bf9ab2dd84dc04d1d6ad144e31945d82439b0 BagSetToBag SeqLen TypeMismatch
fd33863092484ce787f59b0b5b3cc4ae38d0e6d9 BagSetToBag SeqConcat TypeMismatch
3ebdaf95c162f94747efaf54edcef9f93e7724a0 BagSetToBag SeqConcat TypeMismatch
6103e0a69420147c31e156d476a46c2e645956bc BagSetToBag SeqSeq TypeMismatch
6009a1c6adb1479272aca39bae13c1977528aab0 BagSetToBag SeqSeq TypeMismatch
ef5baebc95da763108f1327a5ab4dcbc24b21d71 BagSetToBag NatSet TypeMismatch
d5fe0c37af0209a85980326211cfaeae3001cc70 BagSetToBag NatSet TypeMismatch
4c3948a15318b0f9bbda4753b2303ed938928997 BagSetToBag IntSet TypeMismatch
48383f42ce4169f1ab8d40869dd7c7af6dff73e7 BagSetToBag IntSet TypeMismatch
e91ec03bd38689100426f596ff2d64a35e9d3a03 BagSetToBag StringSet TypeMismatch
abccdefffe5d0305e2a9403a65e8c4caf325cf30 BagSetToBag StringSet TypeMismatch
7e11de33f7ee43e766af3ba0dafd4974665a5dff BagSetToBag SeqSelectSeq TypeMismatch
311b6eb1f6392b7958de2f3ef465df7083f7023c BagSetToBag SeqSelectSeq TypeMismatch
dca083978b938276fe1f1602e042ed49a62973d4 BagSetToBag SeqSubSeq TypeMismatch
88e3e05fb2adbe663209947446866d3adfafb944 BagSetToBag SeqSubSeq TypeMismatch
e9b272128e0d01cc17da8f9fa7c52e413c061cc1 BagSetToBag TlcSingletonFun TypeMismatch
a15fb1d4b2410ecd10045501dd3d51bfc4be19d3 BagSetToBag TlcSingletonFun TypeMismatch
7a219ad7ef4ded33974f779bc024b1de77cfc78f BagSetToBag TlcExtendFun TypeMismatch
4cd2636f2225d5045e77724fe0b7b97b4f6d2a94 BagSetToBag TlcExtendFun TypeMismatch
5cc05c2e5e22728a9ba3646f5c41e2c379360315 BagSetToBag TlcSortSeq TypeMismatch
b4f87e231de2ee441075f60a4e38c9b6d8911a2b BagSetToBag TlcSortSeq TypeMismatch
bb4407c74c824d454cde52fa6a7f19f937cb3343 BagSetToBag BagSetToBag TypeMismatch
6968eed6e41d2cf9a18fb27bb83f3ffd6457d8dc BagSetToBag BagSetToBag TypeMismatch
2685175a98c3d12fe748e09b997b54f0a18b2547 BagSetToBag BagBagIn TypeMismatch
fdf0e95584683100f55018ffcd7bbe442206e6ab BagSetToBag BagBagIn TypeMismatch
a2e1e2e06bba17c542b634e0dc07a2b2c5643ad8 BagSetToBag BagEmptyBag TypeMismatch
34c4718b398755f7842453a82be29773fa9a2032 BagSetToBag BagEmptyBag TypeMismatch
21988c15ab3147807cf2094dd6287104017a8b0f BagSetToBag BagAddBag TypeMismatch
6a51d24d00768c94e7742db57fd3fc26ac4e5401 BagSetToBag BagAddBag TypeMismatch
92ee1dc6484716621e2289c691e277c7ec5a2825 BagSetToBag BagBagSub TypeMismatch
2db198159b386c6e940c379205c3e9489e2d8765 BagSetToBag BagBagSub TypeMismatch
6ca5ae1e180eed2bf86d126b4af877282bd991dc BagSetToBag BagCopiesIn TypeMismatch
b585da66805152e0effdf816887b86a1089a8e29 BagSetToBag BagCopiesIn TypeMismatch
79823ef894d01ab424b05a89531b149a4f4a5cfa BagSetToBag BagSubsetEqBag TypeMismatch
18061197d18c66217e00391c292bc4f7d6e8d286 BagSetToBag BagSubsetEqBag TypeMismatch
db78489b2d262a7988dc320f929e0f361f72cc32 BagSetToBag BagBagUnion TypeMismatch
cd3613b425cb9f0433b7592c930484dacf6714ff BagSetToBag BagBagUnion TypeMismatch
85cd086878076e0a7633d3445b9dfa3b11e26927 BagSetToBag BagBagCardinality TypeMismatch
c8b8fca97531445701a39be1429cd327afd56b8c BagSetToBag BagBagCardinality TypeMismatch
27051306a92ce96eba43ec11ee2f15ef1110ff3e BagSetToBag BagBagOfAll TypeMismatch
2e06b1b830559a4311dbac1046a71b446c5ca65a BagSetToBag BagBagOfAll TypeMismatch
4d46079f2bcdca474994b6550d20ced1464b4adb BagSetToBag FiniteSetsIsFiniteSet TypeMismatch
d18f4c0d1b7dec8d58538291d1a45720368defd4 BagSetToBag FiniteSetsIsFiniteSet TypeMismatch
4d81ddc1a0d6dc54e2c674c4c1be02857457ab67 BagSetToBag FiniteSetsCardinality TypeMismatch
84fb0ac69a1c3c3784730c08bb2db11eadb8f167 BagSetToBag FiniteSetsCardinality TypeMismatch
0343918f97e692a5a5aa756d7c87979b357d9f80 BagSetToBag SeqTail TypeMismatch
362e828ef85c84cb10d0cd8c32865253bc4a9336 BagSetToBag SeqTail TypeMismatch
4e2b77de1c31028954aae4cf12f1024396a3c5b9 BagSetToBag SeqAppend TypeMismatch
46a558ea34c908db75036d0ef09b8b591b24d475 BagSetToBag SeqAppend TypeMismatch