Index

Skipped feature combinations by case feature BagBagSub

Id Case Feature Plug Feature Skip Reason
13fd06e2833d3f33aef9fb792c151289b2223823 BagBagSub BoolTrue TypeMismatch
d9343735ad523b5cb06e56e1db63abc03eea77fd BagBagSub BoolTrue TypeMismatch
bb704aa402777fe3ecb882d554cf8087a5504be6 BagBagSub BoolFalse TypeMismatch
20eab9b99e8120547eae18740c0f1ecff88d787e BagBagSub BoolFalse TypeMismatch
6a1b6b7eed326ed0d09d54518ac5ec3713be4bb5 BagBagSub BoolSet TypeMismatch
bcc864c463a07df4af70e8c4737513b1273ab80d BagBagSub BoolSet TypeMismatch
7ee10d02cf6032e141198d3db6091a6eee6a616f BagBagSub And TypeMismatch
7063cddf42e1248c0a10a0b1804e7624a9bcc516 BagBagSub And TypeMismatch
7ac63db51023602cd4939f343f92731bbd4e4c02 BagBagSub AndMultiLine TypeMismatch
4a5835c1623b4db893f53c48d79c798a3923dc6e BagBagSub AndMultiLine TypeMismatch
c5f7227d4fa3abc7db7d1a8c4c55d946a63d17e5 BagBagSub Imply TypeMismatch
26230874055c08226e95c89fda59029aa87e0cf8 BagBagSub Imply TypeMismatch
e79b00affb256893263bb909d58d5485b97e78fc BagBagSub Not TypeMismatch
44e6f6ea568d4ec90c9383b3275d817157fcdf06 BagBagSub Not TypeMismatch
e039368858c3a090ad73537114061e02fcbb7689 BagBagSub Or TypeMismatch
3fe32ef74c46830cb487d46bd8b916b16c62c1a3 BagBagSub Or TypeMismatch
2ec952c0cb1f51e66778326a118dc9226e91e966 BagBagSub OrMultiLine TypeMismatch
bd40d02d7f4aa413302bac8bed0d5a3064ae06c0 BagBagSub OrMultiLine TypeMismatch
c4726c12f02dfe5bcaeaf49b51306d041ebe15db BagBagSub AndProp KindMismatch
61da24ba0ccd6df15a4e99fecaedb187cec48c56 BagBagSub AndProp KindMismatch
6c820ff9f65bb439287e1ac500f0a51927307db8 BagBagSub Boxed KindMismatch
4da2faec42fadd19885babc72f8bdb0954cc3643 BagBagSub Boxed KindMismatch
fe5144c96f2203997688128253c24b57241e156b BagBagSub Eq TypeMismatch
6bb613309c98c27997769876640e9e1f4eb08fe3 BagBagSub Eq TypeMismatch
db36288439ec73080686317c41266296e837cd15 BagBagSub Ne TypeMismatch
3f2a4e91b37ff41cc5d1d3d586038d63eef8f7e7 BagBagSub Ne TypeMismatch
a3435c86c6872c8dfccf1028e430c80e448b236b BagBagSub SetEmpty TypeMismatch
fbd9bd75f356b1e1f1c5bf925503984381b14417 BagBagSub SetEmpty TypeMismatch
899bacca9ce4fd3624bfd5f25fe2508aa898387f BagBagSub Set0 TypeMismatch
c25ec1ade7f262a16329914b1f9f1bab4d95f4c7 BagBagSub Set0 TypeMismatch
6b2aa4abc37cb15bbfd3bc52df4d65248006d20b BagBagSub Set1 TypeMismatch
88438307fe2acb10b955e62add2bc9c7d3fc904e BagBagSub Set1 TypeMismatch
3625134ffae7a9372e1ddede77e58c6277f182d7 BagBagSub Set2 TypeMismatch
35f1e7838c17e25ac14356f972c33d4c839f851e BagBagSub Set2 TypeMismatch
9cf22b5060dbd91a15436debf2235cb8ba77c50d BagBagSub Set1InDef AlreadyCombined
474c589f7d9e22eb68089b79150ebcabbcf4ac27 BagBagSub Set1InDef AlreadyCombined
257cfb85d78bb138c9c70c27721d97bbefe66d73 BagBagSub Set2InDef AlreadyCombined
d38bc0ed9b9fd5359b98067a716a683d0ddfaafa BagBagSub Set2InDef AlreadyCombined
ffc6d1deaae2d7ab016c92cc9452565a8746ee53 BagBagSub InDef0 TypeMismatch
883f1eb4c27185893dfdc0365b768fad8e3b506c BagBagSub InDef0 TypeMismatch
3453092c148507abd7233d11b44b14f73ba0bd22 BagBagSub InDef1 TypeMismatch
2c7fe9f274fc0f80ac3456d2d4ba27ebdffb99e8 BagBagSub InDef1 TypeMismatch
48e4fffbf558f8cb4049b68974f7a01a5234090c BagBagSub InDef2 TypeMismatch
f32e52641f1096f0ba533b4b839edcaa4dcba1cc BagBagSub InDef2 TypeMismatch
b97833be7d970ac34274b24771d4e23757d56efd BagBagSub Fun TypeMismatch
32263d50a380e01b838c0c6b7ccf5a48297da1fc BagBagSub Fun TypeMismatch
1cc030c71a2cac6b522c4730c5885f31e7a08236 BagBagSub FunInDef AlreadyCombined
c6a58edf12566b6e4c576cd5cff4e239cf3f5804 BagBagSub FunInDef AlreadyCombined
0e27ac0fbe411b65a201b24a756c43527112de47 BagBagSub In TypeMismatch
09410da0ef75a4065f0ce42c516e2d903c6e0080 BagBagSub In TypeMismatch
a154512de07f67bac8139c4a22c75ee109c0576c BagBagSub NotIn TypeMismatch
9620de811c35ce463c81e6506629512bd7ee07e3 BagBagSub NotIn TypeMismatch
789024a8e8f3c1aa24e062ab7310871c395a7c5c BagBagSub Exists TypeMismatch
e3da4478fdfdbdc1ab8fd2856d05f81fd375ce8f BagBagSub Exists TypeMismatch
189199e7610ff799d22fb5c9bfa19e63ddf37b66 BagBagSub Forall TypeMismatch
852477950474030dbfa8124dbe8dd7cca8c6ca71 BagBagSub Forall TypeMismatch
90dace5dc65ed5f2ace8d97405cc08ad9e788ec7 BagBagSub ExistsInDef AlreadyCombined
adfe9402311468984ed6d43ff922089fca8c090c BagBagSub ExistsInDef AlreadyCombined
0577872da9e9c83b30231eebf61830b317ef1cbb BagBagSub ForallInDef AlreadyCombined
7f1f4a894d53612a1062d157b2320c425a12e621 BagBagSub ForallInDef AlreadyCombined
a8a5418a44060d28bcaa397e596b827819fe3811 BagBagSub ChooseInDef AlreadyCombined
8e0450b5e9a76faf0fddcc344438961cacd5b7bd BagBagSub ChooseInDef AlreadyCombined
3b7e7d54499353c9122098ed6a72ae27b7355f18 BagBagSub Record TypeMismatch
678669fccc0b5c14ad090efaa1c43a38198bcc77 BagBagSub Record TypeMismatch
6ae9f7b457cac1bf35842022d7c140dbd0ddfc2c BagBagSub Tuple TypeMismatch
56cf82ddaff09493995fc95044a3f847aad4789d BagBagSub Tuple TypeMismatch
d74a831cd3f8b929065a73681be320aa034feb98 BagBagSub TupleEmpty TypeMismatch
f2005e114dd0e19641a96aa6e0fb22555e26cdcb BagBagSub TupleEmpty TypeMismatch
48d4afd474d5b856ba4f5d060606e4f51cbe1d2d BagBagSub Except0 CanNotBePlug
e14868c0639e41a0f74a6cd510f1342e58a16d99 BagBagSub Except0 CanNotBePlug
b0aa12c06a066f60dd79d7c86a1a00a543b28801 BagBagSub Except1Fun CanNotBePlug
21ffb0a820c91576f7d02008070edba39f400bc6 BagBagSub Except1Fun CanNotBePlug
7918e088cb94254d1ebaf602c385c047acfa8cf0 BagBagSub Except1FunWithAt CanNotBePlug
7352b3302578f3da1b4b31fee0c0888cbfe531ef BagBagSub Except1FunWithAt CanNotBePlug
97eeabf4396ba66f8813d43889eef00310ca186c BagBagSub Except1Rec CanNotBePlug
17066f3c0356434c84dff0da179f16f0b09a83e9 BagBagSub Except1Rec CanNotBePlug
bad5c1a170a800b2fcc9fe81fafa2c4aa6582ac0 BagBagSub Except1RecWithAt CanNotBePlug
1825f031ca412dd9a2d92bbd69b535a8918b9722 BagBagSub Except1RecWithAt CanNotBePlug
ad90808f93a2776794eb07ba00d2d507f3f8f2e5 BagBagSub Except2Fun CanNotBePlug
79867c25fb9217e6a05f1be65274c1b6412d31b2 BagBagSub Except2Fun CanNotBePlug
e14e5ac613252cd86fa0d466185ffc5321eabb71 BagBagSub Except2FunTuple CanNotBePlug
4cc26facb9ac6703d2cf504363bf084fa24b5d2d BagBagSub Except2FunTuple CanNotBePlug
542768c487845811f27e66f4a52e1c37dc0296b8 BagBagSub NumZero TypeMismatch
72521b9a202828f8dd1002bfecd42548f9054dc4 BagBagSub NumZero TypeMismatch
f267bc1e05454871fcf7558dd0b27302cb686958 BagBagSub NumOne TypeMismatch
efbb070bed5a2e4a67ced4cca0c77ff56437d584 BagBagSub NumOne TypeMismatch
4da5ada2e2297c17a25f1e9d9c7051f26895a76e BagBagSub NumMaxInt TypeMismatch
f5fa976040079dbed56235c2829be3a0e110d972 BagBagSub NumMaxInt TypeMismatch
1a48a3ceefd684b3f51b48f8cab9411a8cebb214 BagBagSub NumUnaryMinus TypeMismatch
3f9d3141f04a40b13099c066191e7cc58502fd90 BagBagSub NumUnaryMinus TypeMismatch
bb112b71339c5a06154aaad3e4dec598aac949a1 BagBagSub NumPlus TypeMismatch
fabcb7c34861ab0599335f03a37b40ac9f917467 BagBagSub NumPlus TypeMismatch
b5d001fa12743c0a8c75087e720ad50434869476 BagBagSub NumMinus TypeMismatch
d50a444e1860e218187022e4501809f58d815679 BagBagSub NumMinus TypeMismatch
fc02e07de68fd3672d7faf0ebc7af2c8ddd67648 BagBagSub NumMul TypeMismatch
cb8ffeff4aaa3fc24d5fa75a310473f0c04780d2 BagBagSub NumMul TypeMismatch
c7ccd92d167fdb2b5dd3efd76ac5208c596d7d22 BagBagSub NumDiv TypeMismatch
e32c5912a3972bb2f029ba5e7b780e00735523de BagBagSub NumDiv TypeMismatch
cded6fca0687f0c1ca6df0c2fbcc21e4920cdc3b BagBagSub NumMod TypeMismatch
a643eb846d5bff70432e05651256d2b178bf7c86 BagBagSub NumMod TypeMismatch
104585d46689d956b9815d9181d4d70a9e85a6a0 BagBagSub NumPow TypeMismatch
7f7f3a436c542f6e6e9457cb929d56c0c8d8fd3d BagBagSub NumPow TypeMismatch
99431c4af530ee6e13b507f4675656627963cfcb BagBagSub NumGt TypeMismatch
2b0b9db76b6bb52fc088e5e38f9b7dee30ef3db5 BagBagSub NumGt TypeMismatch
d975e7d239f8e8d9f00eed794bb1b3ca6374dcf9 BagBagSub NumGe TypeMismatch
122aeffee17899e4cd5bf754a4e75ca63e167fdb BagBagSub NumGe TypeMismatch
c9d3d6be683484d07861eb31086e48da137b4584 BagBagSub NumLt TypeMismatch
6fa72abeb914f74141df1d67d75605af9bb27511 BagBagSub NumLt TypeMismatch
4b4b692bdd3ecff6784b40c75fd2b55a09e89067 BagBagSub NumLe TypeMismatch
3c586872d86479150f03e483d95b3052d1bfe43d BagBagSub NumLe TypeMismatch
377e834f5b81f1354b641b013c12e141d89b83d1 BagBagSub DefFun TypeMismatch
f5d976d5d8fcdc78efb8647f45c889ca70460ac8 BagBagSub DefFun TypeMismatch
82cb96649ea40dc30ff0c9159603f3bddf2c9de1 BagBagSub LetDefFun TypeMismatch
a424609d065723f24c0ebeb75d4e96a510180a52 BagBagSub LetDefFun TypeMismatch
3a34ef4838c1ce29204bf38a3964652f44801085 BagBagSub DefFunRecursive TypeMismatch
3cccace89a961eb15538242970ef2ffdd2b0a178 BagBagSub DefFunRecursive TypeMismatch
2727ab3d74ae75df4819903bcfc8363cc60f9a00 BagBagSub LetDefFunRecursive TypeMismatch
95feb9ddc8d7ff27747c10ecd36bf3c03fc185d7 BagBagSub LetDefFunRecursive TypeMismatch
27b6cb8e8f51ce41b08547f09e47a8b814aa8ef2 BagBagSub DefFunInDef AlreadyCombined
5262ee87d2591d494577b5f44030f6eb3899892f BagBagSub DefFunInDef AlreadyCombined
8bd52dbe4a875759cf8d3396df937f5cb12b25e7 BagBagSub LetDefFunInDef AlreadyCombined
f2ba5365c2f82e1ea54a2fe0e98f5eec3f4329f3 BagBagSub LetDefFunInDef AlreadyCombined
8feacf496d8d1376a73f69777c17afb5565158c7 BagBagSub VariableViewExclude VariableExcludedFromView
84417027bc3ed887d3f4f6a13d50e7275e3c3cb2 BagBagSub VariableViewExclude VariableExcludedFromView
b4cede5e8e02c9bf0c172ecf01b890627b6f247d BagBagSub ConstantModelValue ModelValueCanNotBeUsed
3e7af8d5576f10f5d27a74da2f61e9cba689db72 BagBagSub ConstantModelValue ModelValueCanNotBeUsed
75b2e03979c1d5524e2118d810be13dda74dc722 BagBagSub Enabled TypeMismatch
e5e65660c9ce1e39d8e31077bbbc4222c01dee2b BagBagSub Enabled TypeMismatch
698376d1531d93958f68c6c279b945a7e4887304 BagBagSub Assume AssumeIsNotEmbeddable
8a727d0087dc0c715937ae5e211d2c89190f7e08 BagBagSub Assume AssumeIsNotEmbeddable
7c00c3b200bca30bedcc8a982345db157a58a34e BagBagSub AssumeNamed AssumeIsNotEmbeddable
fecc207735624691b1f908b9192d910bcce825ba BagBagSub AssumeNamed AssumeIsNotEmbeddable
078bb3a6eb2c8aa2a037515ee7ac586ba454fbdd BagBagSub Lambda TypeMismatch
6ac3a388a4e8f683dd5a412a5cb5091312eb59be BagBagSub Lambda TypeMismatch
22fb2025f1ce1592c3df98fac87e758a8e86e4a6 BagBagSub Cross2 TypeMismatch
3f99171aabf473d8ee7229fd1f4b21158f8f5508 BagBagSub Cross2 TypeMismatch
15c88a56a171d8e9c87cfa60ea6826e9c840a99d BagBagSub Cross3 TypeMismatch
cb7b0fb3038f7ec5265aa00dd2f9384eb34bfc2d BagBagSub Cross3 TypeMismatch
074870c607847d9be8855e2fbf6130eec8b9f254 BagBagSub FunSet TypeMismatch
6f2a408d30f0b59eb7b9545f431b56f322272bdf BagBagSub FunSet TypeMismatch
8b5305943326ef0eb67468eefec4c8f2bd8b53f1 BagBagSub RecordSet TypeMismatch
fb62a04ed518ba66eb5080e3152ed94371939470 BagBagSub RecordSet TypeMismatch
3b5d990c621e53082d67b4fe2924f346e840fa21 BagBagSub SetDiff TypeMismatch
b753df7d83275bfdda2dc3f2452e40c9aa3ba033 BagBagSub SetDiff TypeMismatch
14ab6d9969c158fb5d267079ab54d350dbe4b3bd BagBagSub SetUnion TypeMismatch
936132d4ea8ce41caa8951ae064d40ad23fd8d70 BagBagSub SetUnion TypeMismatch
8c547764bffc97eb8e1c65d243e0e667a83ea798 BagBagSub SetIntersect TypeMismatch
92fe5271ff1a3a8e0b7bef4610fb65a98713b1f8 BagBagSub SetIntersect TypeMismatch
be552d9c002df0e06f61bcf447fc563cf11d0808 BagBagSub SubsetEq TypeMismatch
c1e989a412968f332948c787e44ec16fbd725e6c BagBagSub SubsetEq TypeMismatch
65ec2c6073ae041d2ffe4f0482f34db0b41f8b6c BagBagSub Subset TypeMismatch
0f4ab6cc15d0cd9f5bc2deb57c613fd0d65a7d2a BagBagSub Subset TypeMismatch
20949e815920520fcf7bef76065d8ab1005e3a78 BagBagSub Domain TypeMismatch
e33e72d1a7ded01ebb9c0f68385b5b31a6cca129 BagBagSub Domain TypeMismatch
79bb1716ae4af880f3fa7b58f4a47b12af96133c BagBagSub Union TypeMismatch
0d8547f410c4652f24d8ad4fa86832880e4b70b1 BagBagSub Union TypeMismatch
bf306804a57d2a44d4b69e9ca258a612c301bd3c BagBagSub Unchanged TypeMismatch
d926af89b537ba0b342ef3aa5107e439774c689e BagBagSub Unchanged TypeMismatch
6c32374baa1c50399f3200c272dfd404b93a4ab7 BagBagSub Equivalence TypeMismatch
a65aa3d79859986a0f56d3549f7740b64628ce7e BagBagSub Equivalence TypeMismatch
9268705e9dfa974fdc41b41bf5e23fc7eee07989 BagBagSub StringEmpty TypeMismatch
71b27de439c46e5c538f7c1a0e76e9976313bded BagBagSub StringEmpty TypeMismatch
301cb632e4673cf639e2bd5cafadc993fba155a8 BagBagSub String TypeMismatch
d24f3c9efc99632a407571837cc4f30a345aa8f4 BagBagSub String TypeMismatch
153ec9cad43724435c672d2631c921527fc5cfeb BagBagSub SeqLen TypeMismatch
3f01828635218423e7b911494d45903b0be585c1 BagBagSub SeqLen TypeMismatch
e17fb080d7767605226d8193949f59f4d10d4a2c BagBagSub SeqConcat TypeMismatch
901784d90375712d7de5344b7f584bc8883784ac BagBagSub SeqConcat TypeMismatch
130ab6cdb85800010ceb493a8925d0df4c28a200 BagBagSub SeqSeq TypeMismatch
8ab3b421368175a9f496ab5350ace64a4d0bf9d1 BagBagSub SeqSeq TypeMismatch
fd58087cd552f8cc957d9593fbc7d2fcc502c54c BagBagSub NatSet TypeMismatch
f53ad9fb3648af02958eba7bf3e3254574714303 BagBagSub NatSet TypeMismatch
ed281904049f246c2ff1afd71fce0173ae9a18cb BagBagSub IntSet TypeMismatch
bf54ec7bd4b03f7c287a9b3047097e84d76a14f5 BagBagSub IntSet TypeMismatch
2b80a9ce6f3d3a1f406fc3deef20896ab5fcd051 BagBagSub StringSet TypeMismatch
cbb1d676e98766959b6cf79f1c050f2db31ccc9a BagBagSub StringSet TypeMismatch
8967d86ec0a29b1d2b193c5c6fa1ed410c6d97c0 BagBagSub SeqSelectSeq TypeMismatch
ea79e6625b6bc9aa78335517398e9465f8309333 BagBagSub SeqSelectSeq TypeMismatch
d2f8607f6c6995fb79a37511e0387a742bfd27a4 BagBagSub SeqSubSeq TypeMismatch
af52cce5db2e9fac258ae8ca0924da930a0c8a86 BagBagSub SeqSubSeq TypeMismatch
b78c2c868398979db4f53d9eb7ff965a0bbe4637 BagBagSub NumRange TypeMismatch
3a85cd501e6eae28b95bc8df445e4bc3b1c366e3 BagBagSub NumRange TypeMismatch
89e87470c93043fdc33c4c62bcc8e83b8b233a22 BagBagSub TlcSingletonFun TypeMismatch
95ad48f759818b955734b3588c5f23baa6d4d4ac BagBagSub TlcSingletonFun TypeMismatch
53d533fae37bf692a6328a856a5dfc28d73ce108 BagBagSub TlcExtendFun TypeMismatch
7d50644d75f6e8ecde59862a90e4c965f065a006 BagBagSub TlcExtendFun TypeMismatch
bef0bcbd42a0d9023db1a7503d743b22f8b148b5 BagBagSub TlcPermuteFun TypeMismatch
265e9f30455c6816b8497e07a2d7684d18561b13 BagBagSub TlcPermuteFun TypeMismatch
e423c90f2eb307b158f24556d23bca1078cc4252 BagBagSub TlcSortSeq TypeMismatch
fd7fd4898a9ecfba341fa7fc1dde39bd2be374eb BagBagSub TlcSortSeq TypeMismatch
f94a099a19c4d96d3abb67a32918783ba4d5ac77 BagBagSub BagBagToSet TypeMismatch
26c6f99ea2b42a0e73034225f6108a0b08bced2f BagBagSub BagBagToSet TypeMismatch
d8b61d0b681ac324418dd3621416aca5c1e77c7b BagBagSub BagBagIn TypeMismatch
5f4e89ed472a9efe9b5fd1c2a43c4e1029fab45f BagBagSub BagBagIn TypeMismatch
1594978138f3fa7d8f081c1e934106d1fe7f452a BagBagSub BagCopiesIn TypeMismatch
51270530d76f0eef785a88410fb76f3c50d63c64 BagBagSub BagCopiesIn TypeMismatch
85480fb68aab26145b096171e3e0a4008b8fddc2 BagBagSub BagSubsetEqBag TypeMismatch
0a8bfcbbffaeaae5d60e7bdc947fc883981f464b BagBagSub BagSubsetEqBag TypeMismatch
56b1ea941c0ab0a716b2f2f2ab1e0c4348fe5157 BagBagSub BagBagCardinality TypeMismatch
2868b7dea64eb57579dbba4f3eee81554f2c2554 BagBagSub BagBagCardinality TypeMismatch
3ecbf9a9ab513b6856c2238915c0372657b68d3a BagBagSub BagSubBag TypeMismatch
7f9f5a157adc197d3c7c49a0d3314dac760afa59 BagBagSub BagSubBag TypeMismatch
0fbcd1abe37def754e16aae53252f6819800dcfd BagBagSub FiniteSetsIsFiniteSet TypeMismatch
89b171352b209b73f54574cbc0ff8a080fb20dba BagBagSub FiniteSetsIsFiniteSet TypeMismatch
de2e7ade520091ad7c6b96a36ea01dc65042eeb7 BagBagSub FiniteSetsCardinality TypeMismatch
5db1b22e23a35d7232bc04a1130b3910fbfb49ab BagBagSub FiniteSetsCardinality TypeMismatch
3aa89e5559f20a8acd0c5aa33984957d51270f01 BagBagSub SeqTail TypeMismatch
53d5fcd28f53d51fe05035cf893ed569b9fbc286 BagBagSub SeqTail TypeMismatch
4c02748ec39f2f4972ed953de051d174146eea38 BagBagSub SeqAppend TypeMismatch
2045e0e5f9d98bd1a869d47f635c5ccf3d391ab1 BagBagSub SeqAppend TypeMismatch