Index

Skipped feature combinations by plug feature BagSetToBag

Id Case Feature Plug Feature Skip Reason
c4522dfed87b209409bd7725f1f3eb5317095c9e OneLineComment BagSetToBag CanNotBeCase
ccf5532625d485c7059a81e598da23e59f138926 OneLineComment BagSetToBag CanNotBeCase
36919123cc20508d11f1ffdd7e0b4a399a201a5e MultiLineComment BagSetToBag CanNotBeCase
bb062a8ee5bbb084b7cce1705be1519b3b824dc7 MultiLineComment BagSetToBag CanNotBeCase
a876044b9bbf27b4cf2bc194209c05b2ac8145e9 BoolTrue BagSetToBag TypeMismatch
fd041ba2e5479a9b4a0dec5a8170f4dffd1c4055 BoolTrue BagSetToBag TypeMismatch
60307dc5f643d943529f369661bf7fe1f4c17f68 BoolFalse BagSetToBag TypeMismatch
bba4b91cb20d91aea1029fdb54c977cdb967ee75 BoolFalse BagSetToBag TypeMismatch
8bc86b47b3e0fa9b7bcb46a64495c31d0a7f16b6 BoolSet BagSetToBag CanNotBeCase
97bb83b802ebf26b9927cffd941c5aefd2c345ac BoolSet BagSetToBag CanNotBeCase
276adce0ad8b43a2c727fe43b8570fbce115a881 And BagSetToBag TypeMismatch
c96220cfd6b9d8e81c9df0b658098a12f6d969e9 And BagSetToBag TypeMismatch
1f7d74f3f4b98c6826a857634e76dfacb5a0ea0e AndMultiLine BagSetToBag TypeMismatch
b56a0ecc170fa4d49edad09975067c9c292797e1 AndMultiLine BagSetToBag TypeMismatch
7f71b77f38f649ce4f0cbc9d9f06e1c9f87c20c1 Imply BagSetToBag TypeMismatch
89e88d023c3915355994d71b2e724ca1c40c0363 Imply BagSetToBag TypeMismatch
0367305643663fa57cbf56a3c7d4c9408557332b Not BagSetToBag TypeMismatch
ee39d18476a1cfdf768a5a0fa30e95b727ecd6c6 Not BagSetToBag TypeMismatch
c9f03d35ecf8ce04b95d600263a93ba18525ab19 Or BagSetToBag TypeMismatch
bf3fe40ce944f7c0f7ff17d345f3bd039d7003a5 Or BagSetToBag TypeMismatch
ed700d2cc0198bb4ac41514afcc8d8c65831d697 OrMultiLine BagSetToBag TypeMismatch
7392cc28a775dea7633b4ee009f69daf7477b0c3 OrMultiLine BagSetToBag TypeMismatch
499c97555244776c1677c093e9facd639b2300f8 AndProp BagSetToBag TypeMismatch
969be012d3b75c82bc7ebc7bcf2e7c3c8e054835 AndProp BagSetToBag TypeMismatch
3b5d427cb0f0b577b4898bfc4680bdcf518204ea Boxed BagSetToBag TypeMismatch
ffb1668cba01a8388d25ae33f72128107ced2128 Boxed BagSetToBag TypeMismatch
4a0fdc775de3bf686670df21955581df53678560 SetEmpty BagSetToBag CanNotBeCase
7c899f4ecdb5fee6514a189887a69b78bb13d123 SetEmpty BagSetToBag CanNotBeCase
efb8d90d1991335172b160076e1d1d727ca3a937 Set1InDef BagSetToBag TypeMismatch
06382d473edb4b240361e7e9ca16d5e1972082c6 Set1InDef BagSetToBag TypeMismatch
8ac0d0c7b998d48387db454f2afd35159a937942 Set2InDef BagSetToBag TypeMismatch
3fe84ba84bfb2b7f58dd6ee46df4c6515d508ede Set2InDef BagSetToBag TypeMismatch
3eecfd0bc95de4f3b16b2907bb340a3e350da0cc InDef0 BagSetToBag CanNotBeCase
2b831c400d29b8015de4bcabd6c187d427634e68 InDef0 BagSetToBag CanNotBeCase
f6583b50e6ec92666a4916f8fd5fe03f761f9feb InDef1 BagSetToBag CanNotBeCase
1ed491ad0b084cded00cb75f40e9554499de6ef8 InDef1 BagSetToBag CanNotBeCase
9f1c215859c8a0a716d55ab91e4e556ca0724af0 InDef2 BagSetToBag CanNotBeCase
50fb6f4a28e62085714172fec55c6e03cb816551 InDef2 BagSetToBag CanNotBeCase
11afe6d46cdf5ad202a0fa23ae46586020e731d6 FunInDef BagSetToBag TypeMismatch
7b2a34b57e7ec2c2558bc27941855e7423040418 FunInDef BagSetToBag TypeMismatch
86715d6a36551b2310aeebc9fd7c50c9d1a581c1 Exists BagSetToBag TypeMismatch
a85a15e9c7d8a1abcb88fbe25a5d9da4ea98b363 Exists BagSetToBag TypeMismatch
ca083bae76a1122aa9dc7670ce1a6f9f6a9ae1bb Forall BagSetToBag TypeMismatch
62126bd804e8811d2ba99db608bfbb68c8c4003b Forall BagSetToBag TypeMismatch
1c1e5a871af39a81ba89666c91967195f0f6ed2a ExistsInDef BagSetToBag TypeMismatch
3da4a893e7c6f02eee4978e87bdb255151b910de ExistsInDef BagSetToBag TypeMismatch
f238ade6b8a67c4ded1feb9283eae41fe816004a ForallInDef BagSetToBag TypeMismatch
3f42f5110448935840e73d948c31f3e99957fab5 ForallInDef BagSetToBag TypeMismatch
fa9504ba41bb4e4279eeda2b967fe5c2ade47214 Choose BagSetToBag TypeMismatch
c5d5454c40d004e6636be43a53dc96ffb6a9da7d Choose BagSetToBag TypeMismatch
8e8e2957297b3787508e3af11a92c125056859ea ChooseInDef BagSetToBag TypeMismatch
c9f3a9f35a303acc2c40f415567b14faa738dde0 ChooseInDef BagSetToBag TypeMismatch
f91d2f83f0d3b6bd054e3ae8754a6ea50993dfcd TupleEmpty BagSetToBag CanNotBeCase
d8b5c9ef82367fe4e4a993298c1e8554b96e3d5b TupleEmpty BagSetToBag CanNotBeCase
2663256f1a111e3f58029b7db2fba78e857aaaa1 Except0 BagSetToBag TypeMismatch
4547e37d9641b53adf183000b59197d3bed7df5c Except0 BagSetToBag TypeMismatch
0ca592a1e50cba4b3a70f490b04f77267c81148c Except2FunTuple BagSetToBag TypeMismatch
e544cc386ea9c5a0298b2e5085c2c886de91110f Except2FunTuple BagSetToBag TypeMismatch
85047a81d8d4f1f7dd2b1efd874791d084b94587 NumZero BagSetToBag TypeMismatch
9c6a72c180a72a266524a436425d5fe10bdd1a5c NumZero BagSetToBag TypeMismatch
8f95ab822a77e6aeae4a7dca82e548c181c20aa1 NumOne BagSetToBag TypeMismatch
4433cd02e7de7f524d6dec56ebe4c9a9d6e6438c NumOne BagSetToBag TypeMismatch
171642ac7cc6ccd2a9bbb67d4b1d4e10198bb93d NumMaxInt BagSetToBag TypeMismatch
ef560f3f0a40fcefe811d50f93ca2f44a8a56ba6 NumMaxInt BagSetToBag TypeMismatch
fbafb1aa5a286fcfe6baf8e84b7a2e1714fba4be NumUnaryMinus BagSetToBag TypeMismatch
0de72fbcab2ef7a9a14fa5889e0c587de378c437 NumUnaryMinus BagSetToBag TypeMismatch
8012df59ac8838b47a9c639e84564e228a483000 NumPlus BagSetToBag TypeMismatch
8e8afc593848995c7c50580873bb49c403c0dfdb NumPlus BagSetToBag TypeMismatch
a1294d30ec7f1dad2dc6d2f33de8b6f40c258c76 NumMinus BagSetToBag TypeMismatch
bf021bf1f4b885ef5e6d500071ebdb2dabca64fd NumMinus BagSetToBag TypeMismatch
34f318a95fc67ed0c1fed65079b34c33cc3bdf99 NumMul BagSetToBag TypeMismatch
4844c4cdba669373f5d28d56af2e6b6455b1218b NumMul BagSetToBag TypeMismatch
0202f716e65c6b4cf67b05d00aa8a5657d6aced1 NumDiv BagSetToBag TypeMismatch
4d8b79801ef76943b1e1e3efb86e147e588a2a09 NumDiv BagSetToBag TypeMismatch
410f917a1d5155e0fcbfbea53a84b8086bbb471c NumMod BagSetToBag TypeMismatch
a71c1108bb21c8c377449d6342554b56ffdc7a78 NumMod BagSetToBag TypeMismatch
d05d4b01e24e1911ee11b2594bc3e7fce07e8691 NumPow BagSetToBag TypeMismatch
e5fef638edd440fcde5881b2329d1800fe16e818 NumPow BagSetToBag TypeMismatch
c1950e596c47dc95c94deffb35ba9325cc4b9440 NumGt BagSetToBag TypeMismatch
e624b90b8dc00ece74062bf93644f778345ffd14 NumGt BagSetToBag TypeMismatch
07486e2fab70727c5736d43c7b0819e27ff22b2e NumGe BagSetToBag TypeMismatch
dccc429a2ef7c77512963f62a35bb0e8520f2ed5 NumGe BagSetToBag TypeMismatch
f90930173416172be05a45ba22a5a8d9bca5cca5 NumLt BagSetToBag TypeMismatch
392886f66f467e84798b33a409e108ff866fca3d NumLt BagSetToBag TypeMismatch
57f061aff1afb8f1c4c4a46bf45cf67ac497cb20 NumLe BagSetToBag TypeMismatch
09da66995838557fe19b80b8a661f426e2497aed NumLe BagSetToBag TypeMismatch
3eaf685c8b5572c51aa8a865acfe459651c7efb1 DefFunInDef BagSetToBag TypeMismatch
1b8361e65916186c69349a086b72259f7ddc9849 DefFunInDef BagSetToBag TypeMismatch
578175697ff87f3ef9c117f4da81212d703adbfd LetDefFunInDef BagSetToBag TypeMismatch
83c204044a7f6d6c85345ab34efd309e712eff5e LetDefFunInDef BagSetToBag TypeMismatch
e3c254c7162b385e78b1242609009a54a849f428 ConstantModelValue BagSetToBag CanNotBeCase
29c6a21a3e9b8befe014a81b95470bb4aaaa0407 ConstantModelValue BagSetToBag CanNotBeCase
bef6e4733d417af516d8480d7f7967ef929dff1d Enabled BagSetToBag TypeMismatch
1eba7103c406133f014aef48e2378f3fdf6581d8 Enabled BagSetToBag TypeMismatch
b634114e8a6b7bbb44480ce852e7c81e9d624303 Assume BagSetToBag TypeMismatch
f29bd9c44280f6d8e827b543237ef982c7a02590 Assume BagSetToBag TypeMismatch
d845fe46fe4c6af2e6b3fa44afc49c660c795b23 AssumeNamed BagSetToBag TypeMismatch
af6c53cae4d7252d0bdb4713a3fde90bacda01a6 AssumeNamed BagSetToBag TypeMismatch
72302d5e2b34c98e6d9246fc63b1d8fbff01c1eb Cross2 BagSetToBag TypeMismatch
685ff45d3615e809ec81772ca4a706f0990d41d8 Cross2 BagSetToBag TypeMismatch
4a40599dc0217ce8a094c34b552506e3c4c839b6 Cross3 BagSetToBag TypeMismatch
22ea46704d1dca51801720f4c32779d47c708018 Cross3 BagSetToBag TypeMismatch
6872fae673bc118422ab57730825c6157d20bdfd FunSet BagSetToBag TypeMismatch
977783e5234c67dca7e2084b73a7950d15172ae4 FunSet BagSetToBag TypeMismatch
3a67788436b3a21cbf88256889c1213126f7a85d RecordSet BagSetToBag TypeMismatch
4abae584afe022bb34a98397f72c168c123986ca RecordSet BagSetToBag TypeMismatch
c52f9be451e9bf2edd3ccbae2fb6f08a4e20746e SetDiff BagSetToBag TypeMismatch
9db7a023b27fa86a64de1035059fb78a26973b92 SetDiff BagSetToBag TypeMismatch
632cfbd668ae1bd2d7327d490d42aaea9958496b SetUnion BagSetToBag TypeMismatch
1eee49874d502fdc12f2370eda5fe7d7ad663605 SetUnion BagSetToBag TypeMismatch
363369a4545d947c00aa5a843f572482cc9786e2 SetIntersect BagSetToBag TypeMismatch
67a263e79309b978a7be3a3280bd495a4a23916e SetIntersect BagSetToBag TypeMismatch
eca668df67ea61f7119b92b23b21ef0025986c92 SubsetEq BagSetToBag TypeMismatch
783ffae8343ac5e72d2670bbb2bccfed5b2b5d67 SubsetEq BagSetToBag TypeMismatch
9586894aef6c4686bc2bd120e85f1306dcf77f2a IfCond BagSetToBag TypeMismatch
50f9d0aca271e78c3d9b4d21714b97497daf5dc9 IfCond BagSetToBag TypeMismatch
1faaa99be59eac9f4fa85c0a6832f9011511acbb Subset BagSetToBag TypeMismatch
39f6f219596a8dce9afc518627e1f23befa2bde2 Subset BagSetToBag TypeMismatch
2b87ae0f56939e4db932656e28d90239efe74d69 Domain BagSetToBag TypeMismatch
769ae644e14f4c3ec99de5765abbfa098d66431d Domain BagSetToBag TypeMismatch
b60e005c72aa6ca3a3661942df8701f47923c333 Union BagSetToBag TypeMismatch
07fa7eb4715049a0238bb28ea110055d9acb8f74 Union BagSetToBag TypeMismatch
d169b1f64e475a76e5e4fd791f385bbc17a15362 Equivalence BagSetToBag TypeMismatch
4e987894afeb826e030195c38f8c203fb3a80030 Equivalence BagSetToBag TypeMismatch
7881b7c8fdb45eb440d69019318ae4f6f25893d7 StringEmpty BagSetToBag TypeMismatch
d75e5496f0e314e0e9ae5c970939e94c586bba17 StringEmpty BagSetToBag TypeMismatch
110676b5c7c8abe9ceb7addf652461963e29b010 String BagSetToBag TypeMismatch
d1cace57f6ee23d8400a343f2a9dc71660ecde7d String BagSetToBag TypeMismatch
fffd0047b2bfe7afe0785fa594090f1c0313f857 SeqLen BagSetToBag TypeMismatch
01d987357f3ee323420d6e399c5ab37d67074d0a SeqLen BagSetToBag TypeMismatch
304874baa2eb6da8a002c91b0a9174e6400acbe5 SeqConcat BagSetToBag TypeMismatch
262c4800552e246723dceb83601db72c654b2ff9 SeqConcat BagSetToBag TypeMismatch
b4b1242a8ac2cdf69bcf384a4f6d8075d15a8800 SeqSeq BagSetToBag TypeMismatch
e17cc15e9449f433ad665c35ed825d114b90eb70 SeqSeq BagSetToBag TypeMismatch
f08d7abbea7d9bfa3f7316bef14a6aa885575465 NatSet BagSetToBag CanNotBeCase
535794c202413e4134eaa988c1ecaa7672beac85 NatSet BagSetToBag CanNotBeCase
cb8d2d69ef720818e42bc391c5e7e7afe10a7925 IntSet BagSetToBag CanNotBeCase
68df1b71791c197b290edbac4d645abf8ec91882 IntSet BagSetToBag CanNotBeCase
69e6706b5f9bf6d9893d0330b05e0e43cdcbfdcd StringSet BagSetToBag CanNotBeCase
2e0841fb7e6184781ac22c13ef7ee0547cbda9ce StringSet BagSetToBag CanNotBeCase
71b115ca62e5d67c3e4bb2d11b4973c2f47f90b8 SeqSelectSeq BagSetToBag TypeMismatch
a33084f229f5a638eb90b1d54c0bab5e3927c230 SeqSelectSeq BagSetToBag TypeMismatch
cec0c1ee0b91b6ecbdb85017de585df05b370ce4 SeqSubSeq BagSetToBag TypeMismatch
23e9d6ee2019bd77ea3ec84a0d7f8e242677c8c2 SeqSubSeq BagSetToBag TypeMismatch
9a43189d17de5eb51ff4aa664cae3f74bf46b85f NumRange BagSetToBag TypeMismatch
1e79163fe7ccf3d021d602aad1c386d36d453ae7 NumRange BagSetToBag TypeMismatch
5e67de11bf0245906cbd7a922df80e5a6130a7ef TlcExtendFun BagSetToBag TypeMismatch
3285a47a9fa9c4f14a5618cdae4cd75828c5af82 TlcExtendFun BagSetToBag TypeMismatch
dcea98ceaf557d6dec260dfaa086f8a1708a92cf TlcPermuteFun BagSetToBag TypeMismatch
52dc9c9e0f9ddcdc817ce362a2678f9588a943a8 TlcPermuteFun BagSetToBag TypeMismatch
f9f221f6bf0a49e6390992f758b2879af73abea3 TlcSortSeq BagSetToBag TypeMismatch
538e50a0cb10db7d6df21dc652d4fe3fe27045c7 TlcSortSeq BagSetToBag TypeMismatch
bb4407c74c824d454cde52fa6a7f19f937cb3343 BagSetToBag BagSetToBag TypeMismatch
6968eed6e41d2cf9a18fb27bb83f3ffd6457d8dc BagSetToBag BagSetToBag TypeMismatch
e091f9217594d287b6528eb6134f81e9d663ca7e BagEmptyBag BagSetToBag CanNotBeCase
0bab00b829d2e43951ca2b2a41a3f2bf9247aa8a BagEmptyBag BagSetToBag CanNotBeCase
f7725560443c64fa085c2584973fcdcec31f4ed1 BagBagUnion BagSetToBag TypeMismatch
c545da19f6b60677391a32720ad6693edd54ced5 BagBagUnion BagSetToBag TypeMismatch
0a7fddd7f1b5427b658cef946c7fc8a554918dfc FiniteSetsIsFiniteSet BagSetToBag TypeMismatch
e126d6f0240d313c7d6879fbd88717880d53923a FiniteSetsIsFiniteSet BagSetToBag TypeMismatch
dd769e1589d615fc4c0cd3c01a2cf13b68a953b6 FiniteSetsCardinality BagSetToBag TypeMismatch
32ada5b1a9ed994c485a25cbbcc487709c0d52e3 FiniteSetsCardinality BagSetToBag TypeMismatch
94979bdab4949c63d5840360744a88ac52225db0 SeqHead BagSetToBag TypeMismatch
acc974d4598a0af9256f45df5cc61b7f7050e65e SeqHead BagSetToBag TypeMismatch
3550138073d4a4b08b5727ed05a45a219e39b85c SeqTail BagSetToBag TypeMismatch
9187fdf190b505651f9ae8c517394dd815e56d96 SeqTail BagSetToBag TypeMismatch