Index

Skipped feature combinations by case feature AssumeNamed

Id Case Feature Plug Feature Skip Reason
7cfc4f1807abb3076d0308b59d01608f605dfbe3 AssumeNamed BoolSet TypeMismatch
79eb581f02e0f9a4b176c941ea1306a916e037ce AssumeNamed BoolSet TypeMismatch
387da6a45c09818034cb7f41e1a949397dc6e9e0 AssumeNamed AndProp KindMismatch
f31672088b5e8d3da35ccc6fc7dd08465fa22ecd AssumeNamed AndProp KindMismatch
344d6b9d99b5d5dbb33b92d16e071c5cacb84243 AssumeNamed Boxed KindMismatch
55c8872dec697eb4411a8558ef5158360cec2f11 AssumeNamed Boxed KindMismatch
bab0c37540fe737cd9843289a24e8f6148d8a446 AssumeNamed SetEmpty TypeMismatch
6e52ef30db85d506aeff575672f990e8d3b494a4 AssumeNamed SetEmpty TypeMismatch
61f8afbafaa7d8bac3af21bd5742eb8097f41217 AssumeNamed Set0 TypeMismatch
6695fbadfbb33516f59ff0fa7dc49d7b1bc06537 AssumeNamed Set0 TypeMismatch
780f7c38c8503c2c0713951c2ab7bc613946653d AssumeNamed Set1 TypeMismatch
5f5f7d1de95b2801f3fe6324a5a1c329781825e2 AssumeNamed Set1 TypeMismatch
15b012a727cca4f0505fbf7ab99c38f107669749 AssumeNamed Set2 TypeMismatch
3fd086e820a27b9720b07518de483a1d22bccab6 AssumeNamed Set2 TypeMismatch
18182dedf268ed3cf50d70697d104987c069a5e8 AssumeNamed Set1InDef AlreadyCombined
3e5c8193ba1105e02f0eceb8b7c9f06df59a0894 AssumeNamed Set1InDef AlreadyCombined
6deacc49b22223bfa322d5c903268bd0f7b5ff01 AssumeNamed Set2InDef AlreadyCombined
5d52f9b7b2498b759478d074465602b2bf448013 AssumeNamed Set2InDef AlreadyCombined
392e4652f61272a2fc2765391a5c8f6a4d54448c AssumeNamed InDef0 TypeMismatch
2dffe17fe23a26ccdffb0ed67e247afef1efa11b AssumeNamed InDef0 TypeMismatch
4aa4ab7958312c6010e1782d9b73352b78a23746 AssumeNamed InDef1 TypeMismatch
eb07caf31c3f8bf90d13f91d746990efdb2ad9a5 AssumeNamed InDef1 TypeMismatch
0bff9b52f25244f617aff36fdf3833b733117f29 AssumeNamed InDef2 TypeMismatch
4d02f2bd4e502aba4f06fed48beab2414cf1d6bb AssumeNamed InDef2 TypeMismatch
ed4defcbba993392bca6d02ee9108c437ed8fc6b AssumeNamed Fun TypeMismatch
a33acd5b47261410554d68de5ba54f6c48b7e8d0 AssumeNamed Fun TypeMismatch
bd8608525e8eb316aed6432c675cdb98776dd32e AssumeNamed FunInDef AlreadyCombined
e4c9b3eea61b3f4baf381ddf9c40767248869a03 AssumeNamed FunInDef AlreadyCombined
13579bf870f716dc6f98dd068710b84a544dbf12 AssumeNamed ExistsInDef AlreadyCombined
ce388a9b68e55a0402be614cae26dee594a583fe AssumeNamed ExistsInDef AlreadyCombined
5956bc69e5cf1103039ba945d4f669e2850d25a9 AssumeNamed ForallInDef AlreadyCombined
6cfd16a818becf9b3f1f14b7790bac9d253de438 AssumeNamed ForallInDef AlreadyCombined
82ee1a2c0d1f7d894970d1f2f8bd01336fff45db AssumeNamed ChooseInDef AlreadyCombined
77f4fadb8d18950da2d48fda621de87c24b53aec AssumeNamed ChooseInDef AlreadyCombined
ece9731012036faf85c4e5ccc257ec17e87beb24 AssumeNamed Record TypeMismatch
cf188198379524914d5900da7a9e4bcb3e8263df AssumeNamed Record TypeMismatch
fb49c0de2752a17961bbbd9e326357c49f52ba8c AssumeNamed Tuple TypeMismatch
36eb994bbbcef11651db0a8ac73c5071896cc8a0 AssumeNamed Tuple TypeMismatch
db120bce166409d5533e529d2766ccf852d935fb AssumeNamed TupleEmpty TypeMismatch
6ec5646debc6c6a9bc295c70dc82b0378248827d AssumeNamed TupleEmpty TypeMismatch
9ac686dcfe8a7ded490d8374157a8924e3a069e1 AssumeNamed Except0 CanNotBePlug
81a30155e289ce12834c3603da7bb57651011f9e AssumeNamed Except0 CanNotBePlug
589160b64d4260e0743e3982485e543cc7c613ed AssumeNamed Except1Fun CanNotBePlug
1e31e74a8539ed43d94f9235be4c625e79fb2617 AssumeNamed Except1Fun CanNotBePlug
b03c3bc82c5927fc0963affce13cbcaa0ea67a5f AssumeNamed Except1FunWithAt CanNotBePlug
3666bc1cc77bc01882a403e272446976737fcdb2 AssumeNamed Except1FunWithAt CanNotBePlug
14d7d86352be9b2f5307bcce895f39e06dcabf62 AssumeNamed Except1Rec CanNotBePlug
69490c792cd10e3b55d89521a3c1a53c85364abd AssumeNamed Except1Rec CanNotBePlug
2e299f473c2fdd873367bf0c3ff012a38e361b6d AssumeNamed Except1RecWithAt CanNotBePlug
8db9d9366d9b820ae474c4293640a54b96a715ed AssumeNamed Except1RecWithAt CanNotBePlug
61601e65cac80272344b95d603f3f6c670d18852 AssumeNamed Except2Fun CanNotBePlug
a61e67a9d065a90418ad4a275fe002c3d52e30a3 AssumeNamed Except2Fun CanNotBePlug
125936fa9702e2ecc0e5c56cc327745f7b5b7025 AssumeNamed Except2FunTuple CanNotBePlug
c4319a899a59b983fd75e068755affcd8eec1911 AssumeNamed Except2FunTuple CanNotBePlug
9936925adb876a8b9fdafee8eebe4aeeb25a8619 AssumeNamed Prime KindMismatch
998c23ea1609e79e9926eb58834ba085b0d94343 AssumeNamed Prime KindMismatch
294163d22ba5f304c3c1e358cad881cbac0bc12c AssumeNamed NumZero TypeMismatch
95f2553cdcd31197e4b23b9bb4615bff559b0307 AssumeNamed NumZero TypeMismatch
df88a8e8d57b5b0b1a9a04dae999c4a9ac67cfde AssumeNamed NumOne TypeMismatch
72e028f11b528dc66c8e971736e6d8d3558f4ac2 AssumeNamed NumOne TypeMismatch
9e643e88623c5f13be38c3ae23a132fb87c02a26 AssumeNamed NumMaxInt TypeMismatch
cd5297c38cfe017b1b45c06b1aedc5e1c3a8d924 AssumeNamed NumMaxInt TypeMismatch
d9abf3deeba565e5b17f4e569bfee55104b0c878 AssumeNamed NumUnaryMinus TypeMismatch
e3fe93754f831be984536ae5f3c272d340ef5b41 AssumeNamed NumUnaryMinus TypeMismatch
17b5060b8ba03475f9a4a48eb80025841c70a7d9 AssumeNamed NumPlus TypeMismatch
88794c5ddbbd6625a98e2b1673e72628cc992b80 AssumeNamed NumPlus TypeMismatch
18d6a3d456363b5f58ef1329bf45ec1b9a42261c AssumeNamed NumMinus TypeMismatch
6eb81a430e42654e68b9819af897ef275f750f68 AssumeNamed NumMinus TypeMismatch
0ee86d8740ae96eb4c05274b99973eba0c138c81 AssumeNamed NumMul TypeMismatch
249d19a58569d83ec4eeff304481743768449119 AssumeNamed NumMul TypeMismatch
821fb0f83f1f62e28354187dd8e6784c75906b1a AssumeNamed NumDiv TypeMismatch
52a5a6cc8846e8db81130b7bf5208ac9970f9261 AssumeNamed NumDiv TypeMismatch
cc700a60b812f35d9dcbf7d06b5369b50fb8e9ae AssumeNamed NumMod TypeMismatch
c226e244480b4ae7eaae10c3242bc08023126c53 AssumeNamed NumMod TypeMismatch
c9ffa40fc590d5c36fe53db6b993d0c91cd1e294 AssumeNamed NumPow TypeMismatch
0b050da781d2d293cc66f0ce7487a0415c2b007f AssumeNamed NumPow TypeMismatch
13a36a854cda8b8ba2e6a274029d77eae5c0dcac AssumeNamed DefFun TypeMismatch
18c7565d13f6afb00373f74704575cfbdff99a89 AssumeNamed DefFun TypeMismatch
496edc92d085bb6324918b8ba2086d231edf6d19 AssumeNamed LetDefFun TypeMismatch
b5523b3f49803e6421c1dad54d1d35f29495b388 AssumeNamed LetDefFun TypeMismatch
2b5d44f9db81e55c9aa462f811488e49ce02c8fd AssumeNamed DefFunRecursive TypeMismatch
95af98c1811a077b88b7d4c5afff18a3c371c49c AssumeNamed DefFunRecursive TypeMismatch
38ac1a04a3eaff4a0262b0e61f25b02d27925fe3 AssumeNamed LetDefFunRecursive TypeMismatch
c4b6b6d356a8a82e506d8caf16f578a7313ecc04 AssumeNamed LetDefFunRecursive TypeMismatch
46ed0b07c71503dd0d8cbd2601efdd6da8795245 AssumeNamed DefFunInDef AlreadyCombined
f57ba8dd7fbcce3323373b764429c954ddb37c1a AssumeNamed DefFunInDef AlreadyCombined
112597eae5886fb46be03624a2c0f30424e58e98 AssumeNamed LetDefFunInDef AlreadyCombined
cf5f0704da839ccc672453c724dc8a9e777fe226 AssumeNamed LetDefFunInDef AlreadyCombined
38fca24ce862dc1ab7d12999579412252b63cf4d AssumeNamed Variable KindMismatch
9831eef26ed29ac6884af03c96ac28da18e7e443 AssumeNamed Variable KindMismatch
f8ac2a7391ce1d07460a4756b1e69d6c000cd8cb AssumeNamed VariableViewExclude VariableExcludedFromView
3951b7ab2f1ab602d5dc5514a34e7bdc31e96fcc AssumeNamed VariableViewExclude VariableExcludedFromView
a32ed2517e11808aa5f181f60a665f6c2deba142 AssumeNamed ConstantModelValue ModelValueCanNotBeUsed
c1e3bc0a703f424a83e6ec92f4f3b29c76334d60 AssumeNamed ConstantModelValue ModelValueCanNotBeUsed
c536fd1e2ede060af272c1d1670934926777ade5 AssumeNamed Enabled KindMismatch
258ec229ebe01cde515f1f556e113d2ad32dee38 AssumeNamed Enabled KindMismatch
97e87932b153b49a0ab4e2cac40430cab22d293c AssumeNamed Assume AssumeIsNotEmbeddable
b8047e7950d81d4992f91223b3cf1d7523def510 AssumeNamed Assume AssumeIsNotEmbeddable
5a34dbeccc8097a4e721abb849d7ef71d27b4eaa AssumeNamed AssumeNamed AssumeIsNotEmbeddable
96a49c8e32ae4ebb8b63481dc7e6cd9ea91bd047 AssumeNamed AssumeNamed AssumeIsNotEmbeddable
5117711b477f3d788063acce7ab1c91fbd2dde6a AssumeNamed Lambda TypeMismatch
889f0b8b602d63783e288b9f3ed12b4c31412e91 AssumeNamed Lambda TypeMismatch
3fead7e3baad9da7b4beb2ff5b4a16c860723d6e AssumeNamed Cross2 TypeMismatch
2a8606d30accd1b9c53986c5128af7cd6a4c5a7f AssumeNamed Cross2 TypeMismatch
3ba6f57db2ba18e2f304127c4015c15584b941fa AssumeNamed Cross3 TypeMismatch
6b3186ccfc3e320db64e2f9379eeb4d8d4b79ea5 AssumeNamed Cross3 TypeMismatch
b800083e05c2c5e05586ae59eba35b3a97dfed74 AssumeNamed FunSet TypeMismatch
273ac3ee95ad4d9558ca8a1a5e42cc209c1940d1 AssumeNamed FunSet TypeMismatch
9a7bc4f0527e9da646733bae2f8f58a68a7cffb7 AssumeNamed RecordSet TypeMismatch
4a8b2d8ca1a55ce421f6288afa93cf1b2ac0e8ef AssumeNamed RecordSet TypeMismatch
0c2f4e3bfc680060ee610b56e7c1e15505bbf212 AssumeNamed SetDiff TypeMismatch
184fcd92c501d3b34fde157bc53f33bbf25737c0 AssumeNamed SetDiff TypeMismatch
da0da16163953cadbe16b0e09a41c796bacb56ce AssumeNamed SetUnion TypeMismatch
6f015770a0f51c18c195c4f0b201cee04d74b72d AssumeNamed SetUnion TypeMismatch
ff1fdf5e3e3e93850a04eefc4c1fa1441583343e AssumeNamed SetIntersect TypeMismatch
be53b7a28e3d26593b3282cb73fc6b4b7c7e4d06 AssumeNamed SetIntersect TypeMismatch
3d3dbc5890cdb536b4ed758c44aabc1a7a7959cc AssumeNamed Subset TypeMismatch
6d1315d3d8a1bd57fd1547ef982d1167c4d07a42 AssumeNamed Subset TypeMismatch
6c58f59ecbd4c6e2886a15347e44a65daec2f69b AssumeNamed Domain TypeMismatch
9b4e9d3f2e46add38d8ed4aba09a8b738a9c195e AssumeNamed Domain TypeMismatch
62df99ef8d1abf2c07aece19056473a35e42293e AssumeNamed Union TypeMismatch
aa8bc5eb470dabbbbab81d30fa1a1cb3db9ed582 AssumeNamed Union TypeMismatch
4def5579fbdf35b90e419342f2005a10aa71ab49 AssumeNamed Unchanged KindMismatch
890a529871f6d25c306f71ffc68bc0d9bd3f031c AssumeNamed Unchanged KindMismatch
8308cbabbfd7b2ac9fd663a402905d3397c97226 AssumeNamed StringEmpty TypeMismatch
a74130079155e318d01fff420560f84108ae30db AssumeNamed StringEmpty TypeMismatch
ef7b9d49814eb6e37c37127abe9d18680f198fa1 AssumeNamed String TypeMismatch
e065fee8b4ce72c96c9444cdd028c85cccfe5722 AssumeNamed String TypeMismatch
c544428a449a7b57fe7321ac7aaf467054c4a66d AssumeNamed SeqLen TypeMismatch
f44ebc31d48c147e300e48740cdb4dfe6b87e871 AssumeNamed SeqLen TypeMismatch
70a34b9e21145dd5f69c55c73b97a5ecb0765207 AssumeNamed SeqConcat TypeMismatch
b3874117f16873edb0db81f2ab45c1721a203a7c AssumeNamed SeqConcat TypeMismatch
e0299913545d97f7225078fc346275cf9059a97b AssumeNamed SeqSeq TypeMismatch
81a3b18424ba8c8a51b1da05b00773fad4b51cbe AssumeNamed SeqSeq TypeMismatch
5d32fff69ffde70d6e144e62c0f9b0a15a74d158 AssumeNamed NatSet TypeMismatch
3aa2dc0fc5dface7994413b7ceb48f3071132470 AssumeNamed NatSet TypeMismatch
3b04540211134280c758d47ff03afa262a398f80 AssumeNamed IntSet TypeMismatch
c155dc6ab99ded376e3acd89391115e711c9d899 AssumeNamed IntSet TypeMismatch
bb8661502fd012c244195a10cad38a53f2db9db8 AssumeNamed StringSet TypeMismatch
c3de4c442bfbf57fb8c0a62d7db4f8a934fd6cc8 AssumeNamed StringSet TypeMismatch
87ae62fa7311d7273000db5cbca121bc3f20e1ca AssumeNamed SeqSelectSeq TypeMismatch
bdd981e884dd5f09478314e49c72c99d15ec1d47 AssumeNamed SeqSelectSeq TypeMismatch
eeddc7db3cb9b91bbaf97293c7ce5490d19f9296 AssumeNamed SeqSubSeq TypeMismatch
d5fa6b450383b6f584b57b842b880cbf74cd5096 AssumeNamed SeqSubSeq TypeMismatch
8c832519946ece343a01acd02550ca38ddcf279a AssumeNamed NumRange TypeMismatch
a8f174779c402874530d10812ab1f5ed6b12737a AssumeNamed NumRange TypeMismatch
4aa66ba1af089db466f6b26155cf6c0a60602b41 AssumeNamed TlcSingletonFun TypeMismatch
fa0e315c8b28322914ae7231db9f57c16562875e AssumeNamed TlcSingletonFun TypeMismatch
872021dfc35f5dc35a860fe5a9a3124f0087a53f AssumeNamed TlcExtendFun TypeMismatch
099c9fcee3af39aaa8124724f44245f371876b2e AssumeNamed TlcExtendFun TypeMismatch
36f70b2eb511cf4a406cb961fa269bc0567a229a AssumeNamed TlcPermuteFun TypeMismatch
b85467fb7b9bd8fcab087c33a5de8edeaddc366c AssumeNamed TlcPermuteFun TypeMismatch
e30baa17520288c76afe7cac187590649efac308 AssumeNamed TlcSortSeq TypeMismatch
f636835764fa3c2e9ccf2eaa9652f060d693657d AssumeNamed TlcSortSeq TypeMismatch
c505074f3e39d25e447ddf18377a5484c27becb4 AssumeNamed BagBagToSet TypeMismatch
fac782777184ab00680a9b29f9e6c17239de0b85 AssumeNamed BagBagToSet TypeMismatch
d845fe46fe4c6af2e6b3fa44afc49c660c795b23 AssumeNamed BagSetToBag TypeMismatch
af6c53cae4d7252d0bdb4713a3fde90bacda01a6 AssumeNamed BagSetToBag TypeMismatch
e4170662fc061a1cace6e23a0716f4a769767879 AssumeNamed BagEmptyBag TypeMismatch
a7cb61ac6b65e97fc6818289e751188e7517dbfc AssumeNamed BagEmptyBag TypeMismatch
d1ba9329d34b22ac2df84c73dd3466c7f9b9a420 AssumeNamed BagAddBag TypeMismatch
21dab96bd0cde576e8e84c9ce28eb5972c8e6a68 AssumeNamed BagAddBag TypeMismatch
8fa18e21662e73d17cb326e0adf08a98d232060a AssumeNamed BagBagSub TypeMismatch
d26288c75002a6d4729ddec8fa73b5fc26f30332 AssumeNamed BagBagSub TypeMismatch
f05af56cf366ad496b5c7f6ff391660806f93ac3 AssumeNamed BagCopiesIn TypeMismatch
14a8b77c46324a7206bb4ea355aa7b1f0164930e AssumeNamed BagCopiesIn TypeMismatch
5e7164a3ba0dd4a1cd69d3327c4e27cb1ba88ede AssumeNamed BagBagUnion TypeMismatch
527011f2c12118e1620193f74572a57cfe54e37f AssumeNamed BagBagUnion TypeMismatch
73cef453116a563f5268b8587464a4538f9830c7 AssumeNamed BagBagCardinality TypeMismatch
ac2f162a7547a262dbe88c0349430a3a9ecf60ee AssumeNamed BagBagCardinality TypeMismatch
e1999b4ef3d0b18ec5b7ad4021f2312e0d184ea3 AssumeNamed BagBagOfAll TypeMismatch
943fe5ac4635eba606e1f25d649dd30f598aded4 AssumeNamed BagBagOfAll TypeMismatch
9c3d1370dbeb7aafa40e65ed9c2a01ba93378bb6 AssumeNamed BagSubBag TypeMismatch
13e9d55e9c0ccc8b19ae330f319317479707804d AssumeNamed BagSubBag TypeMismatch
3640010df164339dcdfdc17e648c17c7ef68f155 AssumeNamed FiniteSetsCardinality TypeMismatch
a4e1feb624598845dc3208d4122d607cc1feda29 AssumeNamed FiniteSetsCardinality TypeMismatch
b41830c027f2f92fd8a6bb7cd4e23da22621ce53 AssumeNamed SeqTail TypeMismatch
d58de83ca098dbb0fba3e5e4a17f111383d7e20e AssumeNamed SeqTail TypeMismatch
8d2845d554cd7deb3ac7edf872e0e798429e7eb7 AssumeNamed SeqAppend TypeMismatch
0367c713c1d76ba72eb489872f9ec0c2c2edcf71 AssumeNamed SeqAppend TypeMismatch