Index

Skipped feature combinations by plug feature BagCopiesIn

Id Case Feature Plug Feature Skip Reason
61eb6645e084bcbf3f82c156e0daf3147c8f9b05 OneLineComment BagCopiesIn CanNotBeCase
ec66218e7d8c06fbb87fb7dde9f08a7247d92366 OneLineComment BagCopiesIn CanNotBeCase
191f02be2b0714ee43ca85f67970ffd7b8e3352f MultiLineComment BagCopiesIn CanNotBeCase
4f2d69e061bbdf3c4b0855ab4c87abf34ad5853f MultiLineComment BagCopiesIn CanNotBeCase
718976d4a15671cfda17a4dcedfdb7ebd751a1b0 BoolTrue BagCopiesIn TypeMismatch
f149a37158602017311bb4658a0ecc264554a642 BoolTrue BagCopiesIn TypeMismatch
7586fa479fa9dbea2817e73592722a257c6f502e BoolFalse BagCopiesIn TypeMismatch
9af15ce1e99edcff630c27872e587acddf72ccfe BoolFalse BagCopiesIn TypeMismatch
8d42424484d4238167b04b72e863ba32ae1ba440 BoolSet BagCopiesIn CanNotBeCase
a087c819a2b6fd396a1b0903018da220e17ccc0a BoolSet BagCopiesIn CanNotBeCase
359829a5fe4e60c59d429044bcb079fdb3d651a3 And BagCopiesIn TypeMismatch
76d378352561ae68c86a27793d99a5161d9d650c And BagCopiesIn TypeMismatch
50c224cfc75492f36ced6f7d531ea93cd08ad448 AndMultiLine BagCopiesIn TypeMismatch
9bb76fac52ec92f44f4d6c9fa4c8ac610866477e AndMultiLine BagCopiesIn TypeMismatch
c010ca99d53b3033fa187ce7687662cbc9fc8357 Imply BagCopiesIn TypeMismatch
5c8a4b5fc466cfbd3240bf0a6044a7b2e0328f12 Imply BagCopiesIn TypeMismatch
61831946f471e5ade783b7cf1d7fb45e261b5b78 Not BagCopiesIn TypeMismatch
5c689ea9b90752cc0e9db803bbaa03af5510f5b2 Not BagCopiesIn TypeMismatch
7df47821fd855e1966b154085227e2c97e8a3923 Or BagCopiesIn TypeMismatch
9b22d9673074709ede2515c4c9df0d78c5516fa4 Or BagCopiesIn TypeMismatch
ed2cd5363b651269a365023ab5b05634a1b65283 OrMultiLine BagCopiesIn TypeMismatch
9c4beec7a55335e635ba0d6d3f1994ab2ac6d61a OrMultiLine BagCopiesIn TypeMismatch
a581b1748ec85107d4217ad75f8d8605ddf93f44 AndProp BagCopiesIn TypeMismatch
b74264ce04e442dda3ffb7fd04d15210bb24c200 AndProp BagCopiesIn TypeMismatch
106558a0a8f0df61b8c5fb239ea072481fcaf768 Boxed BagCopiesIn TypeMismatch
12b29423797a0fc4a1ed58aed1731314feaf54ad Boxed BagCopiesIn TypeMismatch
79bb06630da3095614edd6f632b89b508ed02bfb SetEmpty BagCopiesIn CanNotBeCase
b12ed47e899c3a7cf69d54eb1f4e1feb9c43774a SetEmpty BagCopiesIn CanNotBeCase
e38baf80c31b6518e652c2ccd19bb32b17029bc1 Set1InDef BagCopiesIn TypeMismatch
9050f10b65915343519d796ba5eb7d3d466941d4 Set1InDef BagCopiesIn TypeMismatch
e7c2715c0c79ecab242ced3959d0ae38fc65b702 Set2InDef BagCopiesIn TypeMismatch
9953a5ac44bcf14a9e77f5bea6e5af8d0f7924fd Set2InDef BagCopiesIn TypeMismatch
3890c79015e26d3516d9d1ded47abb5044a12235 InDef0 BagCopiesIn CanNotBeCase
037862a77cad6cdef33a2da800e6b86e0144cf6a InDef0 BagCopiesIn CanNotBeCase
60757ece53b213b3262dfc8eff80ba5e4f00c069 InDef1 BagCopiesIn CanNotBeCase
59aba6b43669767b813ff21010c1d56211262b3b InDef1 BagCopiesIn CanNotBeCase
3b55226bc2dd08593f26a61c157e68da1d48e633 InDef2 BagCopiesIn CanNotBeCase
ceac74bf98c072a4be15686ff67bdb4958e2801d InDef2 BagCopiesIn CanNotBeCase
662ef58a46684c66d8c0ebd7e8b061afca51af00 FunInDef BagCopiesIn TypeMismatch
ca39f9623fae872c5c2b5f0a771a669f6684e2c1 FunInDef BagCopiesIn TypeMismatch
6dd2f145f32427eb0669c3a3c8ea1962da36a7eb Exists BagCopiesIn TypeMismatch
7c8e390d1190d77e2eed40eb02a3ddb5795029b3 Exists BagCopiesIn TypeMismatch
3c73598f5b22b92087162b9e8d7e159f90eb24c6 Forall BagCopiesIn TypeMismatch
e67edf690723dc2b82e5f87528b16c1746300d50 Forall BagCopiesIn TypeMismatch
e40b6a69007df31d62242bb07d838d249dcc4a39 ExistsInDef BagCopiesIn TypeMismatch
ec9858db4d01c0d86137bc3eefb6c02465ef33a1 ExistsInDef BagCopiesIn TypeMismatch
a268d72a5b47ffa9e2c7d93b05f6263653a3e72a ForallInDef BagCopiesIn TypeMismatch
cf09c142fd89f65008961404c01a728cfd19a3d8 ForallInDef BagCopiesIn TypeMismatch
f5f590fade9ca17908c3ff9d7992d7043d2875b4 Choose BagCopiesIn TypeMismatch
47c6affb07a33736a246c7949dba344c452b6075 Choose BagCopiesIn TypeMismatch
604819f6977dcadb3b38d49faf707295f1c37220 ChooseInDef BagCopiesIn TypeMismatch
4629f28bf6bc0730739d51b68d56b922a3291553 ChooseInDef BagCopiesIn TypeMismatch
612fef6b56636f25af0f7b2a35bfbb757f950ffa TupleEmpty BagCopiesIn CanNotBeCase
3ed01139f3b5875b652dae4b5f4e67cb213446cc TupleEmpty BagCopiesIn CanNotBeCase
71dc0e1895c7f6e62e3038cccdca93371695110a Except0 BagCopiesIn TypeMismatch
89cee494a8af7e30eefbb789d9b977e8313709a2 Except0 BagCopiesIn TypeMismatch
f0a89a47241c5a419d81c88e03287fdb5e1ad1d8 Except2FunTuple BagCopiesIn TypeMismatch
077486fee21d00ffc5fe26a8aa277f4a21e911a5 Except2FunTuple BagCopiesIn TypeMismatch
382517934283e5307b68aacc9e0010870a1c0c75 NumZero BagCopiesIn CanNotBeCase
1157f7f8a4b4a1561740f2cd3399f5412efa741a NumZero BagCopiesIn CanNotBeCase
8360c53dd4433ddf64511c059f8d5d536b16b0dc NumOne BagCopiesIn CanNotBeCase
9833460bb86c9bc94eaf37345756a24645178ff2 NumOne BagCopiesIn CanNotBeCase
940d45c5ab75cdbbb0781b7823c61dd628f4ad4a NumMaxInt BagCopiesIn CanNotBeCase
8580ebc953b332ca04d38fd733d28f5c788eee63 NumMaxInt BagCopiesIn CanNotBeCase
f3b39e5536904fc90ff07adb1b40c50c04e38381 DefFunInDef BagCopiesIn TypeMismatch
6fbfbc46e3f076635f184bb1327a45e1cb2d8324 DefFunInDef BagCopiesIn TypeMismatch
0275afb41cfc5239c4a3dd0d28735f09b38edd6a LetDefFunInDef BagCopiesIn TypeMismatch
28c81d8f5c9ba0a7ab29706c7d62bddba4b0bbbd LetDefFunInDef BagCopiesIn TypeMismatch
3cc9929b90d1ce486e67788ccd881109d033c340 ConstantModelValue BagCopiesIn CanNotBeCase
f213f933b3b0a266a1befccee1274f89d065fe2f ConstantModelValue BagCopiesIn CanNotBeCase
f2035ec22a65a984f7619aa3fd20def18cd2038b Enabled BagCopiesIn TypeMismatch
6ab6b9eee3b91c0abbfc3e8ec9f387cf870b7517 Enabled BagCopiesIn TypeMismatch
689b0e97b980d81e8e27c7c414bbc95dc5c95b23 Assume BagCopiesIn TypeMismatch
ee1183a9d40c2d27474d9ca347ba9b2431f58fd8 Assume BagCopiesIn TypeMismatch
f05af56cf366ad496b5c7f6ff391660806f93ac3 AssumeNamed BagCopiesIn TypeMismatch
14a8b77c46324a7206bb4ea355aa7b1f0164930e AssumeNamed BagCopiesIn TypeMismatch
c4d2b1cacea88e687d4cb9401d0da958a848f92f Cross2 BagCopiesIn TypeMismatch
51ef22734c662e3b3154ccfe735dbbd9cb081332 Cross2 BagCopiesIn TypeMismatch
90368f9096652402d0cdb4dc431c2be2c6b75314 Cross3 BagCopiesIn TypeMismatch
de7cdf5e0e5dec188dcd472e4ad8efe23ec078d7 Cross3 BagCopiesIn TypeMismatch
15b412702d265054d12e181af17be9dcf5b666be FunSet BagCopiesIn TypeMismatch
8af786e2b8f744194f689a2569408133a09333e8 FunSet BagCopiesIn TypeMismatch
f4d86b89ef6ee43d3e8bc5b5275bea6c11e68ad5 RecordSet BagCopiesIn TypeMismatch
10346e09cbaba8f1c70aa1c3e3b151fb7befdc7e RecordSet BagCopiesIn TypeMismatch
cf2c6e6e5e5c537fc88d70402d0d65cd19516136 SetDiff BagCopiesIn TypeMismatch
14503cf8f5e3a25c5aa248f369478e4526e059c2 SetDiff BagCopiesIn TypeMismatch
95c72fca7cdb981cd5fdb75abaaa03354004fc1c SetUnion BagCopiesIn TypeMismatch
9d8f25fbd36971e786ceb23acc6690f231bf0cd8 SetUnion BagCopiesIn TypeMismatch
c4543d3f66b97d405713568e88cd4a3901ad34d8 SetIntersect BagCopiesIn TypeMismatch
2b3a004b0f17e3380d7e4d0743e579cdf0f28dcd SetIntersect BagCopiesIn TypeMismatch
2197d466d24f484729b6915615bda8e4fc97f776 SubsetEq BagCopiesIn TypeMismatch
60f95cd68289002c7e4acb84f713219c5a2391d4 SubsetEq BagCopiesIn TypeMismatch
6ccd753c5bc66fcb6afdcce30268586b22c402cb IfCond BagCopiesIn TypeMismatch
4b6a0f5f1b39f8492b393737a7d084108a89630a IfCond BagCopiesIn TypeMismatch
cb2ce3d84bc2ff970db0c6c6ca723c7096d4d1f7 Subset BagCopiesIn TypeMismatch
b02853a19f4d373f4ac1c6fbc667293a07fa7943 Subset BagCopiesIn TypeMismatch
13d5f30be4802c4d36a6976de3ab16e7efd68670 Domain BagCopiesIn TypeMismatch
e70e3d74d9fe0427e72d26e5876348e3568977f4 Domain BagCopiesIn TypeMismatch
86e59c04bffe501e9d28f3e1ca38f5b3f5e4858a Union BagCopiesIn TypeMismatch
627e58b15bf942d4dfb9ed72fdc5ff3cc250cd40 Union BagCopiesIn TypeMismatch
4fe28b4c69edeb9b7f9315eb959adfb79ab3f272 Equivalence BagCopiesIn TypeMismatch
da0e21e37a3198a7e8d955b93b3252d4564dcced Equivalence BagCopiesIn TypeMismatch
e3a41b35f7390515e5a8ceb5ee2c41d8e540f533 StringEmpty BagCopiesIn TypeMismatch
6be127086880cbadc46a6dfbc6d4d3dc98c0f4ea StringEmpty BagCopiesIn TypeMismatch
68ccfe1ed470087d7b908742c1f295faa2029ee9 String BagCopiesIn TypeMismatch
e5ae54da275209da54809f54eb1345bb08b40840 String BagCopiesIn TypeMismatch
c4e7291aa8d9acd92696298dd2e3e7f2925bfed9 SeqLen BagCopiesIn TypeMismatch
bff82659f7f27796be350021fd4eea7ab4ef4061 SeqLen BagCopiesIn TypeMismatch
5867d97660d4925aeb178a9aac84aa71b277b67c SeqConcat BagCopiesIn TypeMismatch
c4714874ae1e8ea3963d899fb7cfd214baf0d717 SeqConcat BagCopiesIn TypeMismatch
da8d55dc6ce2a6948fa72b5a37fc0d457d97005f SeqSeq BagCopiesIn TypeMismatch
a37c594bc3420c87dce7addcf081c1f9854e4876 SeqSeq BagCopiesIn TypeMismatch
c727118f2bb8e93adfc4a17ad10aaeec1e33f0a2 NatSet BagCopiesIn CanNotBeCase
0d5724202cf91a5d73614569e2bcc84ee290c091 NatSet BagCopiesIn CanNotBeCase
058cf7bd57d997f7fed0ee05e3ced769f3ebc6c1 IntSet BagCopiesIn CanNotBeCase
5fdb84b5edbc4a0e3daf875b3fd3569388c93aff IntSet BagCopiesIn CanNotBeCase
074e6d638800e0f1c7d9681e54283da45a71999c StringSet BagCopiesIn CanNotBeCase
5bad4cbdebf8bfad50f9cceb1374b82ffab35a94 StringSet BagCopiesIn CanNotBeCase
357ba87e8a2d07fb23ca870456223316d03cba2d SeqSelectSeq BagCopiesIn TypeMismatch
bbbcce6a6cd138f8d75137af09f6d3e01561cabb SeqSelectSeq BagCopiesIn TypeMismatch
94342cd01f0f39db4fcd94881b8c79a7cc7e1251 TlcExtendFun BagCopiesIn TypeMismatch
bfbc605580daef6fe3d0b5778d89c8f518690fea TlcExtendFun BagCopiesIn TypeMismatch
be3ade36cf10064efb4122fbc2d5b5996ad73f9e TlcPermuteFun BagCopiesIn TypeMismatch
5573e05f634c89b0d6b7aa01d99d2cf8df17fddc TlcPermuteFun BagCopiesIn TypeMismatch
b22a48380e3099bddaec15e133a8c9d9009b30be TlcSortSeq BagCopiesIn TypeMismatch
f57c47f502a9b060be72a331517860c84e753e69 TlcSortSeq BagCopiesIn TypeMismatch
1c6a2a9d376121970c4512fde4d62feeab3fa146 BagBagToSet BagCopiesIn TypeMismatch
980e384f7b040d515d001894426be85e961973e2 BagBagToSet BagCopiesIn TypeMismatch
6ca5ae1e180eed2bf86d126b4af877282bd991dc BagSetToBag BagCopiesIn TypeMismatch
b585da66805152e0effdf816887b86a1089a8e29 BagSetToBag BagCopiesIn TypeMismatch
8c8b0ae43fc59a0504be6dd923c933af6dd50150 BagEmptyBag BagCopiesIn CanNotBeCase
4a097d2f3dee0d838952591cc69566e8d4e777f5 BagEmptyBag BagCopiesIn CanNotBeCase
b0aa40366af54b39fae098edfea6d16359a7e611 BagAddBag BagCopiesIn TypeMismatch
fec1f47eb3881898b87ec3d902bc908a2f6954fc BagAddBag BagCopiesIn TypeMismatch
1594978138f3fa7d8f081c1e934106d1fe7f452a BagBagSub BagCopiesIn TypeMismatch
51270530d76f0eef785a88410fb76f3c50d63c64 BagBagSub BagCopiesIn TypeMismatch
5df04304144d890a22dc4fa10f00a9b48d471128 BagSubsetEqBag BagCopiesIn TypeMismatch
e4300e88924d8ead65323153cb111e7f308801bd BagSubsetEqBag BagCopiesIn TypeMismatch
cdde1fbead0b12259c4b9c823c2dca17bad634fe BagBagUnion BagCopiesIn TypeMismatch
be3604fe6822df60e903d3813da5a2e779d8d921 BagBagUnion BagCopiesIn TypeMismatch
3c2a4a1288bad8bda1dd21f6c984da98a62009c5 BagBagCardinality BagCopiesIn TypeMismatch
1cb108da28bc26feb002894614a560e4daf9fd26 BagBagCardinality BagCopiesIn TypeMismatch
aaa1e7c0b9253be6add318186b9f4009239bbd64 BagBagOfAll BagCopiesIn TypeMismatch
28d9919af45bb1e5b7692ea27e7e7789215db4b4 BagBagOfAll BagCopiesIn TypeMismatch
711512167e9236cb2665bc66536bd3d568c0f39d BagSubBag BagCopiesIn TypeMismatch
0c63c00e0f164c7d36739af16eb7ba46830dea6a BagSubBag BagCopiesIn TypeMismatch
3dfe21e3f69e8ffe1f014123af5810caf27265b1 FiniteSetsIsFiniteSet BagCopiesIn TypeMismatch
da4a646dfca08f50df088929184c451fada44759 FiniteSetsIsFiniteSet BagCopiesIn TypeMismatch
d021bdcc898450c8efbeda23454f533aabe789f0 FiniteSetsCardinality BagCopiesIn TypeMismatch
40eb2366525aba9df820ff211671cac158648b48 FiniteSetsCardinality BagCopiesIn TypeMismatch
a29b78741b2359a283ac4b4a628989e2adf49961 SeqHead BagCopiesIn TypeMismatch
c0bc57173565a40526e9d45e6be23f737a427515 SeqHead BagCopiesIn TypeMismatch
d6349d467640c823e0612243031027e77b694f05 SeqTail BagCopiesIn TypeMismatch
5133febfe03785250be4d46aeb2ecf4347704986 SeqTail BagCopiesIn TypeMismatch