Index

Skipped feature combinations by plug feature BagBagIn

Id Case Feature Plug Feature Skip Reason
b39c52898b2ddb3af87353b43670733973e3d498 OneLineComment BagBagIn CanNotBeCase
519b64643b8235d8ba841bfc9669f537bae3aed9 OneLineComment BagBagIn CanNotBeCase
ba5147190977320f5aff241ce7f54cbc7bd62281 MultiLineComment BagBagIn CanNotBeCase
c1f02d88bc8686c995349bdada189a96fddd55a5 MultiLineComment BagBagIn CanNotBeCase
c48dae2037a10da5f8db88d578640a5822ef7ef4 BoolTrue BagBagIn CanNotBeCase
6378432e3ac7b8bd211b252186e1a018cf1b5957 BoolTrue BagBagIn CanNotBeCase
69296facde27a861ae194a43180fd00a034fb001 BoolFalse BagBagIn CanNotBeCase
c064a1f456f6e2d70f4b8b466e316e5ea7b4e640 BoolFalse BagBagIn CanNotBeCase
0b43caa44bfbae21ab5bd242cec3c3cdb45d8121 BoolSet BagBagIn CanNotBeCase
f34b65e92243f6cdd6c45033f86daa8a1c86e84e BoolSet BagBagIn CanNotBeCase
4168662570bea5feb89116dbbc3c9ab20bdb948b SetEmpty BagBagIn CanNotBeCase
65d0669ea4a2a9f7cd01ffe2ff453bb08d582698 SetEmpty BagBagIn CanNotBeCase
6ea38bb67471f8bc02e8b6e3fc25332bf5ac8aae Set1InDef BagBagIn TypeMismatch
bb57ccc753fe68653b207426a3df2ad6a4e6ed51 Set1InDef BagBagIn TypeMismatch
057a53b27bffd70f500c9d4dff10ac4aa7771539 Set2InDef BagBagIn TypeMismatch
4a659972db4244f33a054c0cb20418b227e90ed3 Set2InDef BagBagIn TypeMismatch
4a0015b016d4b2097a2bd86325a5554d1e6bd5a8 InDef0 BagBagIn CanNotBeCase
043cf537f9a7c9cc0ea25324414e02539a09087c InDef0 BagBagIn CanNotBeCase
878b9fed6f07175cef476cc51c575481c8fddab6 InDef1 BagBagIn CanNotBeCase
4de417fbdda706c61f061de8a00bbb6bf31df5ce InDef1 BagBagIn CanNotBeCase
c0fb6f5d921769fab9a7f3d0f47e69901b3c1135 InDef2 BagBagIn CanNotBeCase
e158c8399481974ea109577beaa82095b5188d42 InDef2 BagBagIn CanNotBeCase
4e5315fcf3135b1af708a2681717149eeecd6c25 FunInDef BagBagIn TypeMismatch
6a6f1afff5878ac9b0876491fbcdfe3a13f8b8f5 FunInDef BagBagIn TypeMismatch
a23909ac71455a9345d2004194c4c3993095378c ExistsInDef BagBagIn TypeMismatch
214a3426d5cf4f4939fe4d3acc65aaa149a2e77b ExistsInDef BagBagIn TypeMismatch
d2c243a971c3426e23484fab2161e8759e3e2a50 ForallInDef BagBagIn TypeMismatch
5e8c1b46f3bf38c34230d59eb1c073f52cf61d25 ForallInDef BagBagIn TypeMismatch
0b89ad9d0532ad13d872e20e090245668cc39ec7 ChooseInDef BagBagIn TypeMismatch
33b2bf0c2c4b7c4b6f1d89d07f413868e265060a ChooseInDef BagBagIn TypeMismatch
2d76f0f5b82127fa37a071de390c4a7971e43b32 TupleEmpty BagBagIn CanNotBeCase
51f26d957611c116207cc8a94dcd8b5de75be9ed TupleEmpty BagBagIn CanNotBeCase
e9e464c97c14b9f3e215dcfa180d9daa5d5689fd Except0 BagBagIn TypeMismatch
b49425d5d0a02db7c9f491d7ca26dd0da7d17506 Except0 BagBagIn TypeMismatch
712177ebb92e761665286ea5ccee0c6caa7d9c10 Except2FunTuple BagBagIn TypeMismatch
c846397ef95580f631d1c94f7c07ff3ae24499d1 Except2FunTuple BagBagIn TypeMismatch
7f1e76827dce1976900da433d34a88a64314b39b NumZero BagBagIn TypeMismatch
73949f3f5fe7f5e282090baecdb2b908ecb4ed64 NumZero BagBagIn TypeMismatch
c5867305a9bf5272054c46e26020f6339bbbd4b2 NumOne BagBagIn TypeMismatch
431e4ef0993c329c06fff93d2a0999d63690a3c2 NumOne BagBagIn TypeMismatch
cb6d793cf6944ebaeea86318f2c3566b3ad10601 NumMaxInt BagBagIn TypeMismatch
0db3c3c9a49e959f29cde7811af454926e394a02 NumMaxInt BagBagIn TypeMismatch
75d341d0f5bfc74cf336b1c9c05b5663a3e4a549 NumUnaryMinus BagBagIn TypeMismatch
bb9f94fa79e7be4adc69984fd60ea7a58f716d98 NumUnaryMinus BagBagIn TypeMismatch
9b4cfe3b1ab110d7db6db02ed379d1ed3e83f704 NumPlus BagBagIn TypeMismatch
4025faab8e4b9aa78a4f676abb0ec72844c6b2a6 NumPlus BagBagIn TypeMismatch
91285a92922da47827d230ed84e430cb64afd62f NumMinus BagBagIn TypeMismatch
1546862e6b78e3210008bc09617f021a679ed966 NumMinus BagBagIn TypeMismatch
5e9c8117b8143573a939317e15896c170a45166e NumMul BagBagIn TypeMismatch
33fe01892627fccd229421f08be4a4523fab380f NumMul BagBagIn TypeMismatch
ea4b46464bc736bf641aba79b7f1e386c1475bfc NumDiv BagBagIn TypeMismatch
32a9e92e7b6c77fa05da49bf76038a7ab7f8eee4 NumDiv BagBagIn TypeMismatch
72942ab17573686f19a4eb9d22a4a7ac0aefe997 NumMod BagBagIn TypeMismatch
73e6ba784b47deab2b4e9fb406aa3dba4aaad914 NumMod BagBagIn TypeMismatch
3b332031ef098662169752686d373aa7baedb647 NumPow BagBagIn TypeMismatch
442fd80fcf95b28da3c73d3a3f0b7dde120e039a NumPow BagBagIn TypeMismatch
7fb85446be893fd33860999e391dde501e8a26ea NumGt BagBagIn TypeMismatch
d35fd9b71eff40117e372ebe851c3c26f6aa09b6 NumGt BagBagIn TypeMismatch
c0d3539cf84aa0e996282ac31068d0b271761da7 NumGe BagBagIn TypeMismatch
9940f419b314d1d3a36c54be2b953d4506a4d6bd NumGe BagBagIn TypeMismatch
d8123d034fa0aa949fba7484ee1db8a2c9a5dc54 NumLt BagBagIn TypeMismatch
ec2ceed36518d009a2329e7465921f690612e88c NumLt BagBagIn TypeMismatch
752e8eec97db6138f1a871f991ee8d8c11614e03 NumLe BagBagIn TypeMismatch
4e42b123159b8fb8f41ece80e61d5bf356e79e20 NumLe BagBagIn TypeMismatch
221bb67ebb7ed1a427717938a42e8822d1161bea DefFunInDef BagBagIn TypeMismatch
d6a6d8bce35baa5894812f945f079a3c49e99f88 DefFunInDef BagBagIn TypeMismatch
218cef5f1669cb5a3d3c80c1ea823ff7c871efa4 LetDefFunInDef BagBagIn TypeMismatch
ea232fa48428feb614647df7673b2edd5f10d694 LetDefFunInDef BagBagIn TypeMismatch
415987119b9cdd3e6f7021cc95e33c2ba4240b5f ConstantModelValue BagBagIn CanNotBeCase
1f364983d2e1a70077b6e209f3d4e61e2a6bb30c ConstantModelValue BagBagIn CanNotBeCase
d3f67c7fc29748aa3d0dd72ebe6ba8f70dea206b Cross2 BagBagIn TypeMismatch
47cfab45df555b0e8dc388132d528aeb9606b31c Cross2 BagBagIn TypeMismatch
a7a5d8ebe8acd85f79aab0cb3143d3e4bd6ced42 Cross3 BagBagIn TypeMismatch
c36bd3a9bc4f55e0b982a4d83968b68a62113abe Cross3 BagBagIn TypeMismatch
1858690e6f01ceae8156ccabbe7702499f0dc89e FunSet BagBagIn TypeMismatch
ec99016a3b7f9a2596ee6d55aa9d6f3a90c89a71 FunSet BagBagIn TypeMismatch
7c56a811d9719fc3bdee90c0d71f43ce6f5f9a56 RecordSet BagBagIn TypeMismatch
8d45af6740e119025529334cdad5569490e29b50 RecordSet BagBagIn TypeMismatch
a9387e7631d303dbba0ec38ade2c87227fc32e69 SetDiff BagBagIn TypeMismatch
2ff3f2504d4fac2c6a8e94f8360516e9b7b5480c SetDiff BagBagIn TypeMismatch
f2d83cab064a7f89b041a2bd58a07ab53dd20640 SetUnion BagBagIn TypeMismatch
17075a8886506a767d4978dcb4f3bea8c5801d89 SetUnion BagBagIn TypeMismatch
83fee769663117d9598f8c7df545587a0cb7b6ee SetIntersect BagBagIn TypeMismatch
497d4d9e4ee951597b37923ff92d20bc07b25937 SetIntersect BagBagIn TypeMismatch
9fc3604f270b110fc97d96663417e4b11daa712a SubsetEq BagBagIn TypeMismatch
66b3b80a7163ba107c08a1a1831891ae32b36bde SubsetEq BagBagIn TypeMismatch
2ac462525a31e28a5f7461eab707774bede7574f Subset BagBagIn TypeMismatch
8ac5411a396df901efb299a61a99c640637744ba Subset BagBagIn TypeMismatch
b0288678e20de2f4b76aa051df099456065d3b85 Domain BagBagIn TypeMismatch
248d2b8a808b8b196823267c3d78bcf9b28cb48f Domain BagBagIn TypeMismatch
0237e038b4750efa6f84e3278f95b7f2acc02524 Union BagBagIn TypeMismatch
f1d0d47d41007cb9a3d1cc97f97a730f34785761 Union BagBagIn TypeMismatch
4f2c6ba67d1ca97f65c3d67e4535a23859d16c1b StringEmpty BagBagIn TypeMismatch
93d54e93094c4842fe7d7f0672b9c0272ac125e2 StringEmpty BagBagIn TypeMismatch
848f8387d6094e593d45c01c8a1b2a57bfb6984c String BagBagIn TypeMismatch
c4203ee658dd9edffd60283cec8124b4251f3acf String BagBagIn TypeMismatch
a72ab51dc7b9a6d1c3e592581ded0b7fcd8f0165 SeqLen BagBagIn TypeMismatch
80e3774ecf37e6ce9dd024b82454d883f20cfca0 SeqLen BagBagIn TypeMismatch
cc84687d514ae9b5133e1f7e940e07122f444ea3 SeqConcat BagBagIn TypeMismatch
eeb4bfd95b98c406d99ef3cf64cd67d1db529916 SeqConcat BagBagIn TypeMismatch
97cbca55e407fa3d3832621a3b53f70803e11111 SeqSeq BagBagIn TypeMismatch
e6f410946ed93a78dac42030a3550f372f6b583a SeqSeq BagBagIn TypeMismatch
7beb13fe5e1d4ffa39367bb1b0950cf3972034f8 NatSet BagBagIn CanNotBeCase
23a55da0543fd5cd4b55fba86ecadb24a96af424 NatSet BagBagIn CanNotBeCase
b7385275ff1ee647622d639a1efe12bc2f7d8114 IntSet BagBagIn CanNotBeCase
bdd38149031209398fffd41da3bfe367a7fd2737 IntSet BagBagIn CanNotBeCase
2e3015efa7c769368c2910a8347616440cafc7e9 StringSet BagBagIn CanNotBeCase
d28ac930d50701632f85c98ea9deb4e9bd7e7687 StringSet BagBagIn CanNotBeCase
3e254b14a7150a3fbe1f7e64226267bdd6283d5f SeqSelectSeq BagBagIn TypeMismatch
44ea259bb0598b7cc1ce9f0eb53e401432519522 SeqSelectSeq BagBagIn TypeMismatch
b2ff0349fc27cdcf4daf6370d9cb1d652ce2b87e SeqSubSeq BagBagIn TypeMismatch
b461e6bc5483498153eed26d9669fa310b609a82 SeqSubSeq BagBagIn TypeMismatch
ecb587afbb9859445304a1b64ba021c8a3c427d7 NumRange BagBagIn TypeMismatch
6e92c6f41f5251da10cd375d554182d952f2e688 NumRange BagBagIn TypeMismatch
b18aace866d2c9b9a941049a86eb82abce8c29e2 TlcExtendFun BagBagIn TypeMismatch
835b3b61ca5e106d1b0fc790a2b95b3eaabcd379 TlcExtendFun BagBagIn TypeMismatch
0cceca99f5c317319046a7b89d200d4dccaff39c TlcPermuteFun BagBagIn TypeMismatch
bfa639ff5617b5e5a907dd986b3a25c8936235cb TlcPermuteFun BagBagIn TypeMismatch
a9576edb40bbca9b36b6ae647ca5b4cd238f71c3 TlcSortSeq BagBagIn TypeMismatch
3475fe468ca5c10694d91d392f6e47e3d6673255 TlcSortSeq BagBagIn TypeMismatch
93b2fc5ce2bc8cdd3db8de7ebf3401dc3a5181b7 BagBagToSet BagBagIn TypeMismatch
ba2a76fd83cd427f704a828c570bc15b9eb5a78f BagBagToSet BagBagIn TypeMismatch
2685175a98c3d12fe748e09b997b54f0a18b2547 BagSetToBag BagBagIn TypeMismatch
fdf0e95584683100f55018ffcd7bbe442206e6ab BagSetToBag BagBagIn TypeMismatch
deda09d0b72ed075582f5916e748c582ce7174d6 BagEmptyBag BagBagIn CanNotBeCase
eb84b930a7e989227e0b0521f0458e3f758a7d23 BagEmptyBag BagBagIn CanNotBeCase
582b6ebb2567be372d7f3be7f34105aaa86deb03 BagAddBag BagBagIn TypeMismatch
2d0127d552f1e2d574b78e0747aae764b339e3b7 BagAddBag BagBagIn TypeMismatch
d8b61d0b681ac324418dd3621416aca5c1e77c7b BagBagSub BagBagIn TypeMismatch
5f4e89ed472a9efe9b5fd1c2a43c4e1029fab45f BagBagSub BagBagIn TypeMismatch
4d896a3d832a62a9eada53ac4056870be39df5df BagSubsetEqBag BagBagIn TypeMismatch
23a79479d3a5eca05fa40a6be64ce336e9f57ba5 BagSubsetEqBag BagBagIn TypeMismatch
ebe25cebfb893f7aa71c2c31b6a62fdd4339af79 BagBagUnion BagBagIn TypeMismatch
814f28010e99c6c1f928bb555cb2391ef531ed8e BagBagUnion BagBagIn TypeMismatch
07c371f610e92cffcac323eb6ef8b42d96a81124 BagBagCardinality BagBagIn TypeMismatch
6b187ab783a59e6826a848df396ad658f37dfa33 BagBagCardinality BagBagIn TypeMismatch
d6f46099d4288c14f12d310c4c6782e68431583b BagBagOfAll BagBagIn TypeMismatch
6adad9bb99a6fd9bd9967a43bcfe3d2bd5450a4f BagBagOfAll BagBagIn TypeMismatch
669c58132b22fc87f6870039bfb9b7835ebbf4ec BagSubBag BagBagIn TypeMismatch
7a152184cf675133db4faf0fe45a77932c4f2184 BagSubBag BagBagIn TypeMismatch
5699031bd8eb3cd3b5fccb16f2718ddaed51c8a1 FiniteSetsIsFiniteSet BagBagIn TypeMismatch
9b2c875a3d13818431ad6e77dc63c755dd8e9f74 FiniteSetsIsFiniteSet BagBagIn TypeMismatch
6440797cf557f82425d9fb3173504a0d06c4f417 FiniteSetsCardinality BagBagIn TypeMismatch
5fedcb872ee901af86a3e0f204291a4c23f5fe91 FiniteSetsCardinality BagBagIn TypeMismatch
24291af83682fa3f3171a41e6d5c3d3d4f3b083d SeqHead BagBagIn TypeMismatch
8396862ecc86bcd935c695e6f2e585138fe24260 SeqHead BagBagIn TypeMismatch
0d66fceecf13fcbd89100394bff02b800d2c2b5c SeqTail BagBagIn TypeMismatch
0c78b28b452b0c0d043872c732f1067732e1a296 SeqTail BagBagIn TypeMismatch