Index

Skipped feature combinations by plug feature BagAddBag

Id Case Feature Plug Feature Skip Reason
790153cb2967f7a74d0a6646be900a031ed546d2 OneLineComment BagAddBag CanNotBeCase
fd771a54276b82c376f97d2e9aeaed3ef55f2c12 OneLineComment BagAddBag CanNotBeCase
e8549556816153b9334f59366118f93de89481fc MultiLineComment BagAddBag CanNotBeCase
02814c56878c7a95bf874f8a45519e14e74863ef MultiLineComment BagAddBag CanNotBeCase
a4cdc5a3c81b0d1c2cb5e4426a3c4edb1d6a1184 BoolTrue BagAddBag TypeMismatch
5501c300c659b9a4cd82c775842f13d3c2aed6b7 BoolTrue BagAddBag TypeMismatch
47527874b9a6f3d8aa0dc616e20eb647ce405a81 BoolFalse BagAddBag TypeMismatch
66586d466dfc0ce8ec00a8efc446d4e3b2b88282 BoolFalse BagAddBag TypeMismatch
b6f4a01be32b5b019f73443ad695075c85f73d5d BoolSet BagAddBag CanNotBeCase
438f740d94bff6093d7508e6d8318fc7b386cd45 BoolSet BagAddBag CanNotBeCase
de1009e85a9000b138c906f5c0882805695f3442 And BagAddBag TypeMismatch
4eae78e35fdecdb53c9255c2a970340c95e562ff And BagAddBag TypeMismatch
08d53d4443b9aa40bd90d367d94ce61efb4fa031 AndMultiLine BagAddBag TypeMismatch
e0aa492ee65da9eda82eafac0b7478de772ef0b0 AndMultiLine BagAddBag TypeMismatch
37fb72764b87614b8a5de7ec816b8fd0284b8dc5 Imply BagAddBag TypeMismatch
e038571017e715aff4c15f2b8239270b5a6425e0 Imply BagAddBag TypeMismatch
b76ab4af4394c66ba2077f139d155e0c0ecba0eb Not BagAddBag TypeMismatch
47cf7121645ab5d432a1d77a84ea18e60cdacbd9 Not BagAddBag TypeMismatch
2f47c45c83319f84ee72cb7f01868114fb9d477c Or BagAddBag TypeMismatch
296fb90255ed5e2cdcf74246e40bcf02592681b4 Or BagAddBag TypeMismatch
193e6ccefaf43295dc5c6eede5b9e030f30b8063 OrMultiLine BagAddBag TypeMismatch
bc579981db7c399d666c55e64debede4404e7c46 OrMultiLine BagAddBag TypeMismatch
0b895368818cbc8fd5add95826992f87ca121b46 AndProp BagAddBag TypeMismatch
57e12f322d51e296c526e69b0e69563ca1710917 AndProp BagAddBag TypeMismatch
8ddb7cd6820bdcecf969f5f8f9de4689e86791e9 Boxed BagAddBag TypeMismatch
6714ac16e299bfe8b2a5a0832dea714af43075d8 Boxed BagAddBag TypeMismatch
38ec6dc9854a2dc4cc226b5c1be79894388c212d SetEmpty BagAddBag CanNotBeCase
745e894a7ade7eb8dbc7dbfe164999a005d58186 SetEmpty BagAddBag CanNotBeCase
e5e094ede1553855de2ce8cb8c9b46f64824cf31 Set1InDef BagAddBag TypeMismatch
e09291382ad033dfb3268280f3cbd17c2471c78b Set1InDef BagAddBag TypeMismatch
67ef2f53a8fa3f91bd0e1b8769740eab37b76c09 Set2InDef BagAddBag TypeMismatch
fe2b3cbb12de1c1ef2a35499a1eb98c1ad618ab6 Set2InDef BagAddBag TypeMismatch
83c8d1e4f0e05d30bfe6fd95c1a385f3ba170274 InDef0 BagAddBag CanNotBeCase
909e122dab0d878a72f23dbc01ce0b3f1b189202 InDef0 BagAddBag CanNotBeCase
535ce7586dc0332227c714edf3cd1a2c56b54e19 InDef1 BagAddBag CanNotBeCase
29ff501ad2e18e509a72f89053a3a9dbf95b7112 InDef1 BagAddBag CanNotBeCase
aafe819de88e7ecc967503f2545c9757b0b50289 InDef2 BagAddBag CanNotBeCase
8100bba0152a4228e7382223274825be9a26086a InDef2 BagAddBag CanNotBeCase
d5bb0abdb68ed3da36072f3df61d6fbd1fd93075 FunInDef BagAddBag TypeMismatch
c368f092476434aa8e0e9f135caee19b21839c67 FunInDef BagAddBag TypeMismatch
4dc0154a616e36201a083c27bec6b693a826e263 Exists BagAddBag TypeMismatch
bb9d39f4814a0c926c7c77e4ce27de8fa8e81562 Exists BagAddBag TypeMismatch
62e51b79dce206e2885080e3c46afa52ad6cc04e Forall BagAddBag TypeMismatch
f36d9c253457f9d9ec7c1b723713c1a4a01b1f58 Forall BagAddBag TypeMismatch
d280421b5aa1a7a0753fab36a56b4d5c34a47cd4 ExistsInDef BagAddBag TypeMismatch
bc3fa54cc71db1c86e6a9b5bd4891ea919490805 ExistsInDef BagAddBag TypeMismatch
954a432df22218f95e0600dd9b842c49c288f5c5 ForallInDef BagAddBag TypeMismatch
35e5706ca323b7772a219c5a095aaf4c2859ddd4 ForallInDef BagAddBag TypeMismatch
86e5c77fb12187b68e12cc99f8889e273e467561 Choose BagAddBag TypeMismatch
375fcaee143295450afd7e11e3ef47af4949af7e Choose BagAddBag TypeMismatch
5d9651d90e022898094257f9d12e9316ab6adc9b ChooseInDef BagAddBag TypeMismatch
93a9bb752ba97d52bdef82c578a4edfc342a25c1 ChooseInDef BagAddBag TypeMismatch
08d107e35e42669efa3c6a05219a06b374d767fb TupleEmpty BagAddBag CanNotBeCase
2a17b4a2157fe6988635c0905008a10b550e2f0b TupleEmpty BagAddBag CanNotBeCase
e2deaa091599317c62ee7176bbe9a89c43d42879 Except0 BagAddBag TypeMismatch
8d8379faf773f65689a82e204d5de10a403d04cb Except0 BagAddBag TypeMismatch
4c2b4b1df40f020f6f4f401e5af466eb471b7b40 Except2FunTuple BagAddBag TypeMismatch
043960ae77dc383a415a43da9ae67f1889127bf7 Except2FunTuple BagAddBag TypeMismatch
38e605ca6926f9c34cdcbd420e4fa49bfe9ade8c NumZero BagAddBag TypeMismatch
182c0e3561818b587d301d7f2a0d71ce6fd7f805 NumZero BagAddBag TypeMismatch
37c54b678591e5aee615a88e589d5ff63c17c4e4 NumOne BagAddBag TypeMismatch
0cadb1065a4fe5e8751fb74ebaae39ae10634235 NumOne BagAddBag TypeMismatch
9c43fb411694577408e1ebc86a5913f11b6cdd04 NumMaxInt BagAddBag TypeMismatch
3b22d9c4c6251a09d07a9481656c6eb3941af4ee NumMaxInt BagAddBag TypeMismatch
b98ef0fadb0bff736bfebbbc887795c6a76f60b3 NumUnaryMinus BagAddBag TypeMismatch
a80e365dd8d8eea8bea3491b5c4cbd8176eef8f8 NumUnaryMinus BagAddBag TypeMismatch
353f1ff2c7b097dd41abc0ff9f61eced92c57d20 NumPlus BagAddBag TypeMismatch
e6e61153d65beee9e19068fe3712d8959f8ced3f NumPlus BagAddBag TypeMismatch
734838848a5a8ed98e6e08fb6cdf5b94ec8025c3 NumMinus BagAddBag TypeMismatch
2235e216e217a702723e99a268dd1c1a0a941be8 NumMinus BagAddBag TypeMismatch
ac6a4021e738137be8e9abfba08785974c51d444 NumMul BagAddBag TypeMismatch
2b908660a18f3b92bed36fc28124138d05cb94a2 NumMul BagAddBag TypeMismatch
ee0ef7b0ce8ba2dd993499dc2b14637ebfd2a834 NumDiv BagAddBag TypeMismatch
73054caa58efdf961f0c4bf5650386aaab645d69 NumDiv BagAddBag TypeMismatch
8a755b9b058158b34161dca76b76186eb0c32b8a NumMod BagAddBag TypeMismatch
2cf9f0a6d984c69eae7fdebd4d8e1c3846cd2e0f NumMod BagAddBag TypeMismatch
62893c3089036ed1c2ef5e1d2e580187ac333d66 NumPow BagAddBag TypeMismatch
091bf65f6ee8414b2c1f4cfed52ecfd8a11dfd17 NumPow BagAddBag TypeMismatch
8e513cd80f361692fca7dbf6f1a76cb2253d4b0d NumGt BagAddBag TypeMismatch
261dddb567db7b3a76d4034a3dc810eda6dc06df NumGt BagAddBag TypeMismatch
fd18819f9060c34971ffa94149d22763d85b3bf3 NumGe BagAddBag TypeMismatch
80e4905eb44e03e20ae21f2934d47fd567eddc03 NumGe BagAddBag TypeMismatch
c0a043a92a7f111ef4e481e9d0b7272a96cf8082 NumLt BagAddBag TypeMismatch
84f81757ba29016964c3ba441c304c95f406a340 NumLt BagAddBag TypeMismatch
bbaa194d53c1eb0bdb588244b1ff620ed312a567 NumLe BagAddBag TypeMismatch
81e9e62c084adfa3bd1b9764968516becac4cdac NumLe BagAddBag TypeMismatch
45af0467d50c393cb2ae35c3e52db678a6fbc4d3 DefFunInDef BagAddBag TypeMismatch
c86ba038c9ba74c1733416e2482598afcd4909e4 DefFunInDef BagAddBag TypeMismatch
136034c9d2f4da698f19f2e473f51399a25c9670 LetDefFunInDef BagAddBag TypeMismatch
75c84c6348f77f1c2c179560935e0a83c1614329 LetDefFunInDef BagAddBag TypeMismatch
6fcae0ef27e6a0fb9a022c24f6f97212ae2d9f27 ConstantModelValue BagAddBag CanNotBeCase
96f0364bcba31be9d0b8b134425980a3f5de6df3 ConstantModelValue BagAddBag CanNotBeCase
462220c8b3ddae5375cfe8463ae6da80412c542e Enabled BagAddBag TypeMismatch
d64d89340bdf54e34563196e0c3a06d1dbcf908c Enabled BagAddBag TypeMismatch
93702a866a002f61c7ee3ed26ce0953f8683276c Assume BagAddBag TypeMismatch
70c074b22d78bb0a43407083fbe7c27aeb7f91e4 Assume BagAddBag TypeMismatch
d1ba9329d34b22ac2df84c73dd3466c7f9b9a420 AssumeNamed BagAddBag TypeMismatch
21dab96bd0cde576e8e84c9ce28eb5972c8e6a68 AssumeNamed BagAddBag TypeMismatch
d8306caac50febb1f35ecafd67ebe29accbeec33 Cross2 BagAddBag TypeMismatch
d8472c1168b3b15e7c287f37468ceb7cd02e9c27 Cross2 BagAddBag TypeMismatch
63cc41e026d0f14c4dc68ab2c5b9adc844ad8935 Cross3 BagAddBag TypeMismatch
f261cef1af85f40cefa8d021560ba7176346ce7e Cross3 BagAddBag TypeMismatch
ee864d3d02bc98f40b0b214aea16d5a896f19257 FunSet BagAddBag TypeMismatch
89246949103829833891dcc18e26d3da762cd69f FunSet BagAddBag TypeMismatch
0aa8d34884aeaddfb6eedfb4ccc8871ac78594c9 RecordSet BagAddBag TypeMismatch
4fbde84fefa51f4611ccb3caf2a48cb7349c12c1 RecordSet BagAddBag TypeMismatch
6cbe313ce22dfdd0b9387edd5c82e6b89972a7e8 SetDiff BagAddBag TypeMismatch
7a8b3441dcab6f8a939fe04ce81a641b3d30b631 SetDiff BagAddBag TypeMismatch
7096c126b4c4a78261a46980c7be6649db8331e6 SetUnion BagAddBag TypeMismatch
d0a01f1aff75ea74ab41e88a494584da3c7b87c9 SetUnion BagAddBag TypeMismatch
1797cddd3dc7c91b6631bf3e9c82c7a07d9925a3 SetIntersect BagAddBag TypeMismatch
d681398208c3d1e908c29eba461372412eaef6eb SetIntersect BagAddBag TypeMismatch
f8647944efd8433ad018d05b68b50bee3c70ca77 SubsetEq BagAddBag TypeMismatch
eccb17b21d616d178c0f74da9af67f437f34661f SubsetEq BagAddBag TypeMismatch
0be308fd08a128f63080623aee20687e905921a2 IfCond BagAddBag TypeMismatch
7265642dc12af11cd239a110bca92549af0d7fa8 IfCond BagAddBag TypeMismatch
6de594cf158f3df828a9395d81f82aa1279f8c4b Subset BagAddBag TypeMismatch
fbb3724d386a4963473b920ed089068d532d49ff Subset BagAddBag TypeMismatch
b0be083c8d3ac8f3e3cc8c2164cc4bd78f90bbd4 Domain BagAddBag TypeMismatch
53f61a0e07723dba8e22cdbb5bd40938ec2de91e Domain BagAddBag TypeMismatch
fcd98b6f0c18dd43564e46b2a16e0c9622602892 Union BagAddBag TypeMismatch
24f61efc7236ed6ae17de8922858a68c0383e74a Union BagAddBag TypeMismatch
f54d29e8c5c1d5169466520492a57cc3e59b7954 Equivalence BagAddBag TypeMismatch
91e466295ea6ca50905fee0df704a290ba991a93 Equivalence BagAddBag TypeMismatch
8be130713deaa6823309fef6f2e22e7febe877c9 StringEmpty BagAddBag TypeMismatch
af18f85e2a2dedc9e888162b705696234687755b StringEmpty BagAddBag TypeMismatch
d7cf602b356d2113e3f49c5ca89712f628c4ba39 String BagAddBag TypeMismatch
12aff223d8d0c6a4233c5915caecef0cc4798d2b String BagAddBag TypeMismatch
815b071540041bc85dc0a0c2fa2c6211a382750c SeqLen BagAddBag TypeMismatch
b0d5e019a4f4bf8e514646788a309d27d8a07d64 SeqLen BagAddBag TypeMismatch
1513f334b5b83a26de64b88646cc313690c46573 SeqConcat BagAddBag TypeMismatch
81acf044cd6882e4afc4b986796aad1d06a8f5df SeqConcat BagAddBag TypeMismatch
807eaee80bbbb44ff3d45bad4cf207fb25611b10 SeqSeq BagAddBag TypeMismatch
488a941d7d6cb9001161fe46e1581c75afe35275 SeqSeq BagAddBag TypeMismatch
3f3a4682f4651da0d96827dd8c15f1a444fa2b41 NatSet BagAddBag CanNotBeCase
6433e6f7aa9ca3dbc4013fb0f2f6332758793b19 NatSet BagAddBag CanNotBeCase
4d6abdb567baea9ec3836cbd64fbab49c96d87be IntSet BagAddBag CanNotBeCase
f0cd94de596e25f71bba110016cbcfdb7e60428c IntSet BagAddBag CanNotBeCase
a91d2a195d8664ae0e7c3adc8b17721557cd3000 StringSet BagAddBag CanNotBeCase
7ec7ab2e929669a0ff3430a8732d2c636ad8421f StringSet BagAddBag CanNotBeCase
e63fab8c13855050c5f8b214574d77c0f7b23311 SeqSelectSeq BagAddBag TypeMismatch
926f792db186003f87ca42084def9e150dbc482b SeqSelectSeq BagAddBag TypeMismatch
53b665645dc6ebb48958c6c41763ea1f6205967c SeqSubSeq BagAddBag TypeMismatch
9e192bcb7a6dceb962c14748475076bbeb8f2567 SeqSubSeq BagAddBag TypeMismatch
3a2bf88efdbe2195cd6d966b1c53f6ebd4f71caf NumRange BagAddBag TypeMismatch
66e2e9c6ffc6085161dd5239c9eddd0967b540a2 NumRange BagAddBag TypeMismatch
e9f2d979f7f6279520a2fda8cf286142895ffb67 TlcExtendFun BagAddBag TypeMismatch
f818e8005ee2f7035470c42d108ce05c63b02ba4 TlcExtendFun BagAddBag TypeMismatch
8113bbd3225020e970a8dae9caefaf08f63db079 TlcPermuteFun BagAddBag TypeMismatch
b3ebb9be57b719b54dd8c6bb62c31519447e0433 TlcPermuteFun BagAddBag TypeMismatch
692a8042c84bae0d414a4d71a886be8d172c2771 TlcSortSeq BagAddBag TypeMismatch
b3b3d4306001f7e702d79095f451f0178d0a27fc TlcSortSeq BagAddBag TypeMismatch
21988c15ab3147807cf2094dd6287104017a8b0f BagSetToBag BagAddBag TypeMismatch
6a51d24d00768c94e7742db57fd3fc26ac4e5401 BagSetToBag BagAddBag TypeMismatch
d9ad068558e503f787427b0a50de9413d8054fe2 BagEmptyBag BagAddBag CanNotBeCase
3b7644c9a64f109b3a06dc4859c55f803b3c11b4 BagEmptyBag BagAddBag CanNotBeCase
465f071de5709411a011dbf8a74fac9c9147a3f0 BagBagUnion BagAddBag TypeMismatch
2cce67bc8c2bd7fc6f29db64d1a9767d01a1af1f BagBagUnion BagAddBag TypeMismatch
b6bd3cdb8a1eaf4836f62e9633244fcbd5bc733d FiniteSetsIsFiniteSet BagAddBag TypeMismatch
4492a88068ac60f7c42fc0f9c1106d70ff8002f0 FiniteSetsIsFiniteSet BagAddBag TypeMismatch
b3c9cf70602ce077a094562b26976c2b59f808ac FiniteSetsCardinality BagAddBag TypeMismatch
11852e1cf87c9045c5ea648d052ceb9b566cd3f0 FiniteSetsCardinality BagAddBag TypeMismatch
ccd58d704ec0e2eaefca56a8d0fb6ceb6361a03c SeqHead BagAddBag TypeMismatch
ab92f6ab2d027e55bab8bf248007a374f289ae44 SeqHead BagAddBag TypeMismatch
4215b2e0eb20509d9759f49485eb260546fcaa37 SeqTail BagAddBag TypeMismatch
5f1484a088485bea0ea66963b06440fa8d9a3bc5 SeqTail BagAddBag TypeMismatch