Index

Skipped feature combinations by case feature BagAddBag

Id Case Feature Plug Feature Skip Reason
0d6994f1b57108ff03d73bd480808730e4db9281 BagAddBag BoolTrue TypeMismatch
72315cfee0cccc5d87a2315fcde13bae33e3de4c BagAddBag BoolTrue TypeMismatch
f9784d34dc6c1400511aca1b3d4b1a2a64dfbe00 BagAddBag BoolFalse TypeMismatch
d13edd309d364bbf97cd5f06227585c3c22caff4 BagAddBag BoolFalse TypeMismatch
18ebade58090978df6a1d82fb2104d964b279648 BagAddBag BoolSet TypeMismatch
365d096e8b14f8174440c604d6110af491cdf41f BagAddBag BoolSet TypeMismatch
ddef7356cabf9d2c851b49c55c3deb4dc260bd60 BagAddBag And TypeMismatch
b33282fff89de5d5d1a4aa1ebad4031b7cdecb8f BagAddBag And TypeMismatch
3755d121070ec4a92b10b4ec35a38505127291fa BagAddBag AndMultiLine TypeMismatch
b9b356dc0694f5a8fd0ed6b8ab8bbe9c8bc683d7 BagAddBag AndMultiLine TypeMismatch
19c52ec2d8dc8a19c84e7f8119d7e4eef4aa4230 BagAddBag Imply TypeMismatch
4f0a78d39523815af8741af32e217ee86588e94d BagAddBag Imply TypeMismatch
5a794f5bca2ec938c2b5e95bb37ffd404adb05f5 BagAddBag Not TypeMismatch
28ee5a77fd69e665c0ec3cee0a300c4086a89591 BagAddBag Not TypeMismatch
9d50e221c5cc1fbaf83bd52d271ce74fdef060d6 BagAddBag Or TypeMismatch
804007598af44c9c03a0f41c05415194dbcccf62 BagAddBag Or TypeMismatch
392377dbb8aa8ec2a89257a5dd39f3bd8ec0030f BagAddBag OrMultiLine TypeMismatch
9ae3c8fac6fecb8bda2a8a1e3d20f5fc76287d0c BagAddBag OrMultiLine TypeMismatch
5f5269aadf3993ec76b04cf45ae202b3a10486d4 BagAddBag AndProp KindMismatch
16946639400b93d48c983aaac4ab30d505743474 BagAddBag AndProp KindMismatch
765bacf7a9ea20461b4648a32aed566a331fa966 BagAddBag Boxed KindMismatch
d53861b72076fe2cc75c3078d4281f4f96da0678 BagAddBag Boxed KindMismatch
dca041f61bfbcb2ecdb4769addf8458947abf940 BagAddBag Eq TypeMismatch
05bac4b6b693a4e2fbcefe1012195a6a26ed8f3e BagAddBag Eq TypeMismatch
ff88c2cc8297f873ba7972ee6aabd8da2ddaefad BagAddBag Ne TypeMismatch
9372c5c332cab800b7a621adea16681c9437fbd1 BagAddBag Ne TypeMismatch
a29737ef4048bbc8e95948fe8bb643e840858502 BagAddBag SetEmpty TypeMismatch
ccc340dc64de8e143d758aceb56ccb4994922b0a BagAddBag SetEmpty TypeMismatch
95cdd49773dc29b2a9a3e7d3d28a289f52b89eb6 BagAddBag Set0 TypeMismatch
7cf8ffe21b9a7a7f006ae673115bb91644e91032 BagAddBag Set0 TypeMismatch
438e4dd250638343cfc8e8e963f08750bae01c7f BagAddBag Set1 TypeMismatch
b20218024edd7e4ddd2e3f4fbc9e9efbbdcbf790 BagAddBag Set1 TypeMismatch
cb93cb69dbbe0891e4f6de05b8ec08703ccf3507 BagAddBag Set2 TypeMismatch
4838d0145366e152338a223f94de36273f0730f8 BagAddBag Set2 TypeMismatch
53c74f49617ed639e9811b3bb2d0ebd54454e458 BagAddBag Set1InDef AlreadyCombined
05808d153d8f1d62fa0c9e8807224a04f0d15759 BagAddBag Set1InDef AlreadyCombined
38d185abbb053d2b7c80e6cf6caebd8da05685ad BagAddBag Set2InDef AlreadyCombined
04a199c01bd98283ea42526a535b8c80fcb14dd3 BagAddBag Set2InDef AlreadyCombined
1b3e79a378d2233a90144d26c832b1015513403d BagAddBag InDef0 TypeMismatch
bed19dcf09a62b32426d9fb8c54fc84f79f8487f BagAddBag InDef0 TypeMismatch
db692a7eceb3668807b111d6b87a775cdfad779c BagAddBag InDef1 TypeMismatch
a1c95b1c290caccebef5cb48a351665f794b5d66 BagAddBag InDef1 TypeMismatch
cbca8dcdb320d0858bca544abae4d8857bb3e285 BagAddBag InDef2 TypeMismatch
4b28c8285562f56906d327909b75b34031ff8b5c BagAddBag InDef2 TypeMismatch
162393569f786edb21cc583d5560864dcb5a1a49 BagAddBag Fun TypeMismatch
705d459032fcf7d215c37b6cdf0eda204589fff6 BagAddBag Fun TypeMismatch
8313f85b7790dba85bc0a82d2487666b62d9744b BagAddBag FunInDef AlreadyCombined
d21385a9b6b85906dc77e713ce2f6e2cbb10aa80 BagAddBag FunInDef AlreadyCombined
1602233a7d6e0c5d27a1e339ff86417b36690581 BagAddBag In TypeMismatch
effa0e51792840c0814ed1075d672e7cda3d2d5c BagAddBag In TypeMismatch
d8a57fed62c733811ffc9254f890f99e1e46a101 BagAddBag NotIn TypeMismatch
12cb8dea8fdf91909457779681b775b58a7f9c23 BagAddBag NotIn TypeMismatch
9b72be3ec9b49abe9c1975d517c546b52027dfe6 BagAddBag Exists TypeMismatch
33ff31fed4e189398a2c7d354d6067ebacd0cd14 BagAddBag Exists TypeMismatch
6afc704eedfabee3fe3022c187f0d9255c79eaf3 BagAddBag Forall TypeMismatch
5a5bcc2fdbbcbaf6be4c7d43bd16e136c0e05a6f BagAddBag Forall TypeMismatch
7d9e63499b9b630a829db871fa579ec24a63363d BagAddBag ExistsInDef AlreadyCombined
77d435e81243ca6a61fb89b2690bd905b51f5865 BagAddBag ExistsInDef AlreadyCombined
e12e31d6acc97bac3bfda2edc682adb31e3c63a1 BagAddBag ForallInDef AlreadyCombined
7982ac6cd0f57eb7679a9790bcb1fa024d5161b8 BagAddBag ForallInDef AlreadyCombined
3493fda4d9522476603905baf3ae12ed87e0d29a BagAddBag ChooseInDef AlreadyCombined
0377b10bf638682798241958c99580cff521de10 BagAddBag ChooseInDef AlreadyCombined
07468a3c6a542a1e0c681b197c1ee5086a77c788 BagAddBag Record TypeMismatch
f66f26e51e198d8b46bd32911a42e6b6730ebb6a BagAddBag Record TypeMismatch
2b6ec0f1057c95f645dbbb1febe8e59285fbd10a BagAddBag Tuple TypeMismatch
f105bf94d2a1802ad19d2a810131a09590e88465 BagAddBag Tuple TypeMismatch
84b93bc3ac289c96370ca7f0406f21603c40e3cb BagAddBag TupleEmpty TypeMismatch
789618251eb1c5f0eb5bdcef39ff94d656524656 BagAddBag TupleEmpty TypeMismatch
ca55d8b0028819947ee5a26109b3763097931470 BagAddBag Except0 CanNotBePlug
b2842711f45efb284b67c12ed3ba83eb68e84d80 BagAddBag Except0 CanNotBePlug
887050b7f9c166fd9f14e38df7a296576e96a95c BagAddBag Except1Fun CanNotBePlug
7f2c1100c9b8beb71e9c7c5a3caf433c24c6305e BagAddBag Except1Fun CanNotBePlug
4fc58c0b1583b27a666f1a3a132c9e16dcd357aa BagAddBag Except1FunWithAt CanNotBePlug
b7470d8ad19097feb00791e0cb98d23b55e8176d BagAddBag Except1FunWithAt CanNotBePlug
489aa06de2d662706a20c7f1bfc7ef00a91591e0 BagAddBag Except1Rec CanNotBePlug
7c56dacf0f71aeeb8a3447075155ab8c3667e213 BagAddBag Except1Rec CanNotBePlug
aa44dc6ff8d3b81fd60dbc15cbd4343e5c14ade2 BagAddBag Except1RecWithAt CanNotBePlug
c2c8271ab9f6f14485509e40879de63713473074 BagAddBag Except1RecWithAt CanNotBePlug
0fdec2012e03cfcdb90faffb0712364fea817191 BagAddBag Except2Fun CanNotBePlug
bee65fd389f1e23276e046019b956844cabc3500 BagAddBag Except2Fun CanNotBePlug
ebfe955efebe8643054348e3947345e5a12d74f2 BagAddBag Except2FunTuple CanNotBePlug
a6259a757e08cd3f648bfb279439e26936e36ce7 BagAddBag Except2FunTuple CanNotBePlug
a31d7a9957c7c736a972d51b13661953c18e9c9d BagAddBag NumZero TypeMismatch
11435c0128f868cdd3270a091f845c574ae3a3e8 BagAddBag NumZero TypeMismatch
986f4b88dbdd76b702b6f1aae3f917bc56e5dd20 BagAddBag NumOne TypeMismatch
265c549206af8d79691cf092db9a36e76aab56ea BagAddBag NumOne TypeMismatch
cc81c37d8c8516048ed77a4d4dc55def4bb55bfb BagAddBag NumMaxInt TypeMismatch
8aa8f922b913a75c85875ab3084facbdd5441196 BagAddBag NumMaxInt TypeMismatch
35fedb277d0ad6a0e1c14e65081a556115f16b07 BagAddBag NumUnaryMinus TypeMismatch
d0742661a6cce54421e2c162288ac05fcfb89cec BagAddBag NumUnaryMinus TypeMismatch
d9095f033a374b50bfaf52f46718af7e4a26bdea BagAddBag NumPlus TypeMismatch
b3de422379b7ca313e9f1259d87312bee8390d44 BagAddBag NumPlus TypeMismatch
785231b17c87c333e473267ef4f0c7fec9027486 BagAddBag NumMinus TypeMismatch
3cc00c7b751c581b0bb68e0b7ce1c0a396bb95a2 BagAddBag NumMinus TypeMismatch
b33c7d5e1460e4f172dc93c94f3ffc4fb4079ae5 BagAddBag NumMul TypeMismatch
b9056caa0ad3596afabf22f414fbc4cdba97df81 BagAddBag NumMul TypeMismatch
0b627f6b12fd3309a083cfbfd7339b3331cd3e18 BagAddBag NumDiv TypeMismatch
0aaa873a5c1b1a00a0825a910999c265c0e8ff36 BagAddBag NumDiv TypeMismatch
d7f7dd1770fdbb2e3cd14fbc06dddfa403d52615 BagAddBag NumMod TypeMismatch
1823dbc39e7ec1f841912f5f36513056a0ec47de BagAddBag NumMod TypeMismatch
6992407eae0e8777dfd8ae25db8c22b381d009b3 BagAddBag NumPow TypeMismatch
16279bc13a3ad5ce3286e20663ed8461377cfcb7 BagAddBag NumPow TypeMismatch
e300e73f09b932fcb80e319ba4516e257ff1b399 BagAddBag NumGt TypeMismatch
d60554fec33c5a218c428df143bd151131965606 BagAddBag NumGt TypeMismatch
b4a1dfe9726cc8e0bb9f107df27d14caedb77f96 BagAddBag NumGe TypeMismatch
dac404cb79e3e79ea63c192af18594fb96fee178 BagAddBag NumGe TypeMismatch
a3a7790ccfdfc59bc8c172c154ffcede0de74fe5 BagAddBag NumLt TypeMismatch
c193df07772079b491e10e95b10ca8c71e910143 BagAddBag NumLt TypeMismatch
1e2c33a32123dcb1dd980db2b1f7c12c60a246a9 BagAddBag NumLe TypeMismatch
dcd4994f069c47b5d71f905fe2247176bd6153d6 BagAddBag NumLe TypeMismatch
b86adefb21227eeca09d9a9e47e6f8d101d9a826 BagAddBag DefFun TypeMismatch
cb9c9c66dd3b939c2f9d3dca79ff081c9d0a75ff BagAddBag DefFun TypeMismatch
dc33aec670a0c4689fba245701800114d8238b74 BagAddBag LetDefFun TypeMismatch
bb34614600bb0d01d196a0af29536c049dd4856d BagAddBag LetDefFun TypeMismatch
bdfbbaa69ae71d1ba1eecbd49493cdd346834540 BagAddBag DefFunRecursive TypeMismatch
6138c96412fb6404a9d785a4f35e251d310af08d BagAddBag DefFunRecursive TypeMismatch
ae651ca601f61635798774ace17e76ae326df3b2 BagAddBag LetDefFunRecursive TypeMismatch
cb990d9f9351962fc980f839676f84d445af7862 BagAddBag LetDefFunRecursive TypeMismatch
11b1dbce1b563507e45e0911aca7d68636b14a24 BagAddBag DefFunInDef AlreadyCombined
e86f95f99d60740738d250d7c33ada0008e50831 BagAddBag DefFunInDef AlreadyCombined
6924a0dc9e991278810bddbb74d42ac53ef44c7e BagAddBag LetDefFunInDef AlreadyCombined
afea762b4ac7611693461ac09b8c57b3f12529fe BagAddBag LetDefFunInDef AlreadyCombined
715646bc8318014df858f08f701a81fa1d6869c6 BagAddBag VariableViewExclude VariableExcludedFromView
eab6ef5021d4301d2f82cf0eadfcbd98776d1c21 BagAddBag VariableViewExclude VariableExcludedFromView
d170b40334eb769db79bfe670913ceb25eb7e5e5 BagAddBag ConstantModelValue ModelValueCanNotBeUsed
d2616865f0a3b5609f667fba2f8a6fa83a5ed6d3 BagAddBag ConstantModelValue ModelValueCanNotBeUsed
187275668e6252acdf4785fea83b2ab5fa3ed815 BagAddBag Enabled TypeMismatch
b7f91320cba22b623d3c146cb4a6ce4388930d0b BagAddBag Enabled TypeMismatch
018a3b9607e61ae5a1d40453fe42f96c4cb96309 BagAddBag Assume AssumeIsNotEmbeddable
83bf6dfbe456c1521fe60a85163cc8f9dfba878f BagAddBag Assume AssumeIsNotEmbeddable
9bfdb3e9c7aff90247b5b4f539e656626d342743 BagAddBag AssumeNamed AssumeIsNotEmbeddable
7f5689e1e55277800eb957cf8d5c3db83dab452a BagAddBag AssumeNamed AssumeIsNotEmbeddable
fe3ed20f81944cb02a2f36116fad74e7ce1f3527 BagAddBag Lambda TypeMismatch
6fdb5435ed22f9d8800ac795f6e869b4e297cb3e BagAddBag Lambda TypeMismatch
65c94c6c510ea1634c311d2c8700b0b1e37c1611 BagAddBag Cross2 TypeMismatch
5e5e03b1c14e0cd9250ce99dba460a1f1a5d37dc BagAddBag Cross2 TypeMismatch
2cb22bea2bd3f37d14a37a2484c1b3588836656b BagAddBag Cross3 TypeMismatch
4726118df82c3d1f66de2a953716c48fbaf13224 BagAddBag Cross3 TypeMismatch
dfd579364e61499b013f79a1fb2c6e82470c060c BagAddBag FunSet TypeMismatch
74334a97edb61e40beea716ee623355dee6feeb7 BagAddBag FunSet TypeMismatch
467b3bcac9123006a94a926c1cef711c826d6593 BagAddBag RecordSet TypeMismatch
97343a2b01fdba19b3370bae142441200f2dc071 BagAddBag RecordSet TypeMismatch
1e98fa033291befe88de2dfd093c55054af759e9 BagAddBag SetDiff TypeMismatch
9327af0f89700d8e48ba1b512827dd8830e9e11b BagAddBag SetDiff TypeMismatch
d14dd5e642675629571b56494c54e77f612c9a71 BagAddBag SetUnion TypeMismatch
6fb9b67e3bcd296b3ea76ac249866f65abb691aa BagAddBag SetUnion TypeMismatch
0113e25d4720ddb8c7b1904141703fb66e6e3574 BagAddBag SetIntersect TypeMismatch
3b02bbc5fe9ba1e84686c3f3fbb47ac5e7e49b7e BagAddBag SetIntersect TypeMismatch
6cba537147837c1ea8ac546804997a805219d68f BagAddBag SubsetEq TypeMismatch
f86a6fa2484c33ec83a5db1cef376074d2435be9 BagAddBag SubsetEq TypeMismatch
f3a9455aa1e2afd8ae92d6176d0ccb26feb3c685 BagAddBag Subset TypeMismatch
6705efcfd4640350086ac6f8e57cd951edf8d116 BagAddBag Subset TypeMismatch
f16d15383a73a66d4afbc71acb8ad20cfcc1e9d4 BagAddBag Domain TypeMismatch
6d0d3081839fca5c41d5f8097d9e437eaea628d9 BagAddBag Domain TypeMismatch
c1b45ec996b215dd947d123b171f90e75c88284d BagAddBag Union TypeMismatch
d7aa2a4be5e80f802f5128089110c622b38a99bd BagAddBag Union TypeMismatch
5f71cd8f04dbbe193311ef65f3b186cfd23bf967 BagAddBag Unchanged TypeMismatch
bbf06d120c29f78e72b12d584e3a20ee08e43039 BagAddBag Unchanged TypeMismatch
14092c9828bad705694e794216e9beeca4124e0b BagAddBag Equivalence TypeMismatch
988853eb3fea31fcaf3f62353f411944e47d0cba BagAddBag Equivalence TypeMismatch
6821e187d2a86f4bf7d988475e886be1c87f1264 BagAddBag StringEmpty TypeMismatch
915266018e6b1866f3323ab1afed2dde7dade83a BagAddBag StringEmpty TypeMismatch
3e2ee08014693280a17d89cfeea53ef3ff8f1a00 BagAddBag String TypeMismatch
b1b3bca797bfa89516f259ac7a0ff1f8e69ace23 BagAddBag String TypeMismatch
702399971fec691e711e2905e0f8264604c60ba3 BagAddBag SeqLen TypeMismatch
ee33d6a741aef1cc893a3c6d4c681e4a8fb6abc4 BagAddBag SeqLen TypeMismatch
2d520b2874b4e6efdb4009190a4ee507056cc466 BagAddBag SeqConcat TypeMismatch
37009f7dcb60ae8ee466a71da18839b2601d8499 BagAddBag SeqConcat TypeMismatch
4c3b380a0016156b5960c13b6c3ed4194b6c6fb9 BagAddBag SeqSeq TypeMismatch
c1f0435713ea4f29dfb2071c702120c644671a9c BagAddBag SeqSeq TypeMismatch
a1cf18f672624dd91f823ac9ae0d1b0ae258434c BagAddBag NatSet TypeMismatch
6f51149d2e5a994ec7260afe512fbaa1b5193af4 BagAddBag NatSet TypeMismatch
08be4ddb884527a19825076e06d8d9c4afefc880 BagAddBag IntSet TypeMismatch
b42aa3adaad7d6a41f4d3c362c122aaaa28085ff BagAddBag IntSet TypeMismatch
7985b7a8c403d891c8c6357f3e00c4e0b4d29fdc BagAddBag StringSet TypeMismatch
9d57e750dd46a1e70333eccff9207260641f7663 BagAddBag StringSet TypeMismatch
337e01d0e35fbcc921989248e7c7c9cbe5ed4edf BagAddBag SeqSelectSeq TypeMismatch
812677a0688abdded20e4c12861509bedac889d8 BagAddBag SeqSelectSeq TypeMismatch
3a0120fe51ab4cc13a5915f5549da07ccb23b3f0 BagAddBag SeqSubSeq TypeMismatch
44578a34d372521d9e11ef32511f576e55d33953 BagAddBag SeqSubSeq TypeMismatch
df942702303a234e2c5cd0ef3a906482ffd48822 BagAddBag NumRange TypeMismatch
d566677cb2121b7feb39d615924d9b8858cf6fa7 BagAddBag NumRange TypeMismatch
8ec8018cd4cd97c41ba25582bf6395f1093d81a6 BagAddBag TlcSingletonFun TypeMismatch
ff0bdeecb2b11ae3fd8b164fda91293e0b61e77b BagAddBag TlcSingletonFun TypeMismatch
e1fcb9dd35128758584344418d894ad8a0d8e4ef BagAddBag TlcExtendFun TypeMismatch
99ba5ecdd8676d4ddfd2228c0b161dc9715bc379 BagAddBag TlcExtendFun TypeMismatch
30c2b50c69f35f5292592c0b8931a2bdb84545e5 BagAddBag TlcPermuteFun TypeMismatch
d130bc8c65e115a78bb5710be2dfdda04fac5d35 BagAddBag TlcPermuteFun TypeMismatch
63475e218d4e6f4b88bc995bded6210d707781d4 BagAddBag TlcSortSeq TypeMismatch
b6083ed87230e52ebd28e6379ed334adec44b930 BagAddBag TlcSortSeq TypeMismatch
50f26d3879eb062ecc9a448b10c5515fc49345ea BagAddBag BagBagToSet TypeMismatch
95042e1f6a64b1a01a898d3070af44193b697042 BagAddBag BagBagToSet TypeMismatch
582b6ebb2567be372d7f3be7f34105aaa86deb03 BagAddBag BagBagIn TypeMismatch
2d0127d552f1e2d574b78e0747aae764b339e3b7 BagAddBag BagBagIn TypeMismatch
b0aa40366af54b39fae098edfea6d16359a7e611 BagAddBag BagCopiesIn TypeMismatch
fec1f47eb3881898b87ec3d902bc908a2f6954fc BagAddBag BagCopiesIn TypeMismatch
3b08192168e7b1e9036c17a135aea1313e15d4e0 BagAddBag BagSubsetEqBag TypeMismatch
9a5accbfbef1276e095ba715d65241f34d184398 BagAddBag BagSubsetEqBag TypeMismatch
a885240f94c0d4ded38562860d5732a76d62ef02 BagAddBag BagBagCardinality TypeMismatch
03a7cb1100e4f799c90dd4c0293a4e0ab4ba579e BagAddBag BagBagCardinality TypeMismatch
0cf83a416c114a1b5bc5c94201871848fb57f2ba BagAddBag BagSubBag TypeMismatch
59931da90e05462b3d68a010f7a0f18526012e5e BagAddBag BagSubBag TypeMismatch
c0a3deeb89c3d690d83a0f708b20c368a31d0f07 BagAddBag FiniteSetsIsFiniteSet TypeMismatch
c06f02f847c25e7835077b57a651752c7a751cda BagAddBag FiniteSetsIsFiniteSet TypeMismatch
792ec17b86aba40754c3b0219e2746487143ec59 BagAddBag FiniteSetsCardinality TypeMismatch
72b93ae99df2b44f75e3d3355bb848a1ec4ca08c BagAddBag FiniteSetsCardinality TypeMismatch
3ca5c0833a90e481571f6c394fcc5d3e63ba6232 BagAddBag SeqTail TypeMismatch
fd59d8e49d0cf21489bc9f386b13af7a1e30128e BagAddBag SeqTail TypeMismatch
8792b1b4f5cc490591e18b4c624391459a58048c BagAddBag SeqAppend TypeMismatch
149d49c234a6b249a759e986d16b335c1e45afdf BagAddBag SeqAppend TypeMismatch