Index

Skipped feature combinations by case feature NumUnaryMinus

Id Case Feature Plug Feature Skip Reason
05877ea3fd4d2fd7dbcce279bc5885e642e4fd0c NumUnaryMinus BoolTrue TypeMismatch
4a7b2a02668ef9dc8bde98c818b3d507e51aed4e NumUnaryMinus BoolTrue TypeMismatch
9c9ad703403bd13b92bfa49baac185855e12f4cf NumUnaryMinus BoolFalse TypeMismatch
43d8f49d8a0543084e993875d922dacb01520873 NumUnaryMinus BoolFalse TypeMismatch
f63dba2c513698af2402a413c777101aa4ec68f4 NumUnaryMinus BoolSet TypeMismatch
0283e79fb04bd9a4607abf864a3cd37d4262b1ba NumUnaryMinus BoolSet TypeMismatch
7e88432632fd85e25cbe079dce57754c4a351e6a NumUnaryMinus And TypeMismatch
050cdb16aa4b4cb28669dc245b9c040218e97fe1 NumUnaryMinus And TypeMismatch
2166fd05cfdf1ca3bb337937ccbcf6f3e363c10f NumUnaryMinus AndMultiLine TypeMismatch
1e3333cab3e467ad0da120e5af38f0a429d3dead NumUnaryMinus AndMultiLine TypeMismatch
19b112076b76a8b9b626904f83f864caefd664e5 NumUnaryMinus Imply TypeMismatch
0323a01f63dc09c6f551e848bc6430bd854d6a7a NumUnaryMinus Imply TypeMismatch
8c0385fc34946a49a42ecd10a9d036d9c605734d NumUnaryMinus Not TypeMismatch
00f0225da463baf5b57b86d399a759b4e545628d NumUnaryMinus Not TypeMismatch
ff8316d07354246e62176a7075cb1b11d06e3fa7 NumUnaryMinus Or TypeMismatch
dd9c1b8f3b22639cf09d186deb1d917aeef7bc38 NumUnaryMinus Or TypeMismatch
00e799e9646d886831b836c1ee32fd117a5f756e NumUnaryMinus OrMultiLine TypeMismatch
587de446b4e837b3631eaaf8be426c97ac3048c1 NumUnaryMinus OrMultiLine TypeMismatch
65bfb84d8fae59cf93505977278d538cf7f7a3f7 NumUnaryMinus AndProp KindMismatch
dc2dc66ddf1eba39e678b06f991ff9c6f496b7dd NumUnaryMinus AndProp KindMismatch
3b74da63235ab9de5156397adb0f4ffc55f69442 NumUnaryMinus Boxed KindMismatch
11e1e5069c40ad4576cdf2d6fb7007a1e2419305 NumUnaryMinus Boxed KindMismatch
9d90cb512043bec1ef912a7e3ec62d143ac96440 NumUnaryMinus Eq TypeMismatch
60e8859b3b69d8bc6af56e8d944c55b9f9c43597 NumUnaryMinus Eq TypeMismatch
aa264de87b22350beca86cf333d3061eb01bd60c NumUnaryMinus Ne TypeMismatch
b77ae82fd3a541e05043e0bcdd8e378ba8336060 NumUnaryMinus Ne TypeMismatch
e5be769b80cfc6e8bcb56613e6afcab7f1f01f7c NumUnaryMinus SetEmpty TypeMismatch
8d9c2d5854b3483aa8099a48f3790c0b5ad327b8 NumUnaryMinus SetEmpty TypeMismatch
d8791f5e949342322398608ce9b191cca24f2080 NumUnaryMinus Set0 TypeMismatch
46d16f272f10c2a9df3b7be6cd97c6a453991cc1 NumUnaryMinus Set0 TypeMismatch
0dba7fc33ad21c79448ea7bab41ae309ac724b60 NumUnaryMinus Set1 TypeMismatch
41c978c6cb8d334ee1131a7249397637f7fcff29 NumUnaryMinus Set1 TypeMismatch
2571c01b6d3116bec85a501752b287c04350e04d NumUnaryMinus Set2 TypeMismatch
efd40f5d8cf47e291ec83335863d2c2566c1a9e1 NumUnaryMinus Set2 TypeMismatch
cd2a973acb55b779550fb00492c9b9cf9a198960 NumUnaryMinus Set1InDef AlreadyCombined
97bad76345e735ffa9b7fc32902357052594c3ee NumUnaryMinus Set1InDef AlreadyCombined
e2d32901b372654bcb43321ca8975e51d4095677 NumUnaryMinus Set2InDef AlreadyCombined
86b8016da6862dafade427f497d8c8b49ac6edbb NumUnaryMinus Set2InDef AlreadyCombined
f4ca67162a0ab8e659d59dc995990b37556c2782 NumUnaryMinus InDef0 TypeMismatch
026108af4a575a919ef243032cdd600cf6936c4a NumUnaryMinus InDef0 TypeMismatch
1426b6c8955c5d3d4316f34356c85a4b4f61bc28 NumUnaryMinus InDef1 TypeMismatch
231727acc44369a2b255ec66a1fe7bf1a31dd9e7 NumUnaryMinus InDef1 TypeMismatch
0c89673a065d8aaba60d73ad795315976fe848a0 NumUnaryMinus InDef2 TypeMismatch
df923dddd4b3353c13c40fd5866a6eff9e1bc3f8 NumUnaryMinus InDef2 TypeMismatch
727c3e44f9f499793afa9144148c4fa1a34e2580 NumUnaryMinus Fun TypeMismatch
f803c21b4ad615b9e094c59e86be4ac7c7ac0810 NumUnaryMinus Fun TypeMismatch
3196a1e252e2878b886417f64c70b7a8b9d894a1 NumUnaryMinus FunInDef AlreadyCombined
4633f3b6d43cfea6612b89bb52cf2ca54a8fab37 NumUnaryMinus FunInDef AlreadyCombined
577815d310569dd4782a0f71351e82a5b064c261 NumUnaryMinus In TypeMismatch
114b65b249df3eae51c7c965a4af0fccc1d38865 NumUnaryMinus In TypeMismatch
80385efed7dd089e48b612b7e0cc41276aa64824 NumUnaryMinus NotIn TypeMismatch
15d17f7863dbc02e1f1cb1d64b3742d41b1bea8d NumUnaryMinus NotIn TypeMismatch
53a6a7a165f810f257644e05d45c78f3ae03e5c3 NumUnaryMinus Exists TypeMismatch
3240ae46a6de940b2004dbe67c0b2fb6a967d978 NumUnaryMinus Exists TypeMismatch
c5230bd63624314686c9b460a67f7795efd216cd NumUnaryMinus Forall TypeMismatch
cb54a8ab72418a3b1be2caf66651846cf5fee034 NumUnaryMinus Forall TypeMismatch
eb1b1003e29591ed45a5b8b85bf37692b0dd4967 NumUnaryMinus ExistsInDef AlreadyCombined
e55249ff0444b11dcb66cdf4b20abbed9d5465fb NumUnaryMinus ExistsInDef AlreadyCombined
1b1a505f63504c532aa4b859da7ecebb4d62dd4f NumUnaryMinus ForallInDef AlreadyCombined
562300ac5418586ae777c94fa77fc1b84ea1c015 NumUnaryMinus ForallInDef AlreadyCombined
d7c036681e3ac79e4befbede3bd0bc9387d53c0b NumUnaryMinus ChooseInDef AlreadyCombined
2133b384787041be623fddfd77435b2ab332ca35 NumUnaryMinus ChooseInDef AlreadyCombined
69aea7868999f01d12398e26c63b6383ad9d0ad8 NumUnaryMinus Record TypeMismatch
8b2836c70cf6330ffe4c2ca9d93fd982f5196276 NumUnaryMinus Record TypeMismatch
52414d21e41d9865f6e7baca590ac07256382104 NumUnaryMinus Tuple TypeMismatch
825aec40b7f9f6f77ed60b837819dea0daed75f5 NumUnaryMinus Tuple TypeMismatch
c980bd9993d34fdd4ced7c91c6b8093d89f061b1 NumUnaryMinus TupleEmpty TypeMismatch
7e14440cb313e7af0edf76469b7d07a883e88742 NumUnaryMinus TupleEmpty TypeMismatch
b24bba8669854573f73b94b61b0e2b2dd8810158 NumUnaryMinus Except0 CanNotBePlug
3a275dca08d7913480253b12161f59afc9c25485 NumUnaryMinus Except0 CanNotBePlug
31b342590325157293621b0d84c0d9401cc2dba7 NumUnaryMinus Except1Fun CanNotBePlug
15841fa1f94cd5953ceee562226f0f3a58a91782 NumUnaryMinus Except1Fun CanNotBePlug
9a14d2146425d0afd54e1bc3c95f60f2ef1a1591 NumUnaryMinus Except1FunWithAt CanNotBePlug
2741b291e7b38a293f89c66001091ac2f0460391 NumUnaryMinus Except1FunWithAt CanNotBePlug
59f586c423d484e26c996546cc2f8facacffb57d NumUnaryMinus Except1Rec CanNotBePlug
23abb34220e61eca79dbf5edee6ab6c547f5e526 NumUnaryMinus Except1Rec CanNotBePlug
1e11757d925fa5605dba881e99cbb09ceab2d1bc NumUnaryMinus Except1RecWithAt CanNotBePlug
d0521f4d9274845fa2071c56fd807c33747b693d NumUnaryMinus Except1RecWithAt CanNotBePlug
b998771e6fc3e196424c572c3e543cf4884d5f47 NumUnaryMinus Except2Fun CanNotBePlug
83f29c0614509e0846b32233d7ed1c9c4621a114 NumUnaryMinus Except2Fun CanNotBePlug
bb3d1b523d136e21e954dcd3c0bffefb8711c249 NumUnaryMinus Except2FunTuple CanNotBePlug
5a49dd8a77384eef555ec42185d7f8cf9a70102d NumUnaryMinus Except2FunTuple CanNotBePlug
bf61633824a7bbecdf4453987dcee7e023f5fbde NumUnaryMinus NumGt TypeMismatch
21808a5de06324e2cc12f6a6a098255db7edf5d6 NumUnaryMinus NumGt TypeMismatch
82c9e38597d5a56297c0176d792f1ce87d048030 NumUnaryMinus NumGe TypeMismatch
aba1e203e17d11b8e8ab6e19594a98cb2588c3e2 NumUnaryMinus NumGe TypeMismatch
cab473bad9bf7e332fffd6c11b0cf2d50bdcfc33 NumUnaryMinus NumLt TypeMismatch
84c94499d566abdf96bfa0d9e45e07faca2cf105 NumUnaryMinus NumLt TypeMismatch
6df19d603ddda1e646892b8e3c6eae2d8c6b0cd9 NumUnaryMinus NumLe TypeMismatch
28059cc8630b4bc34c87bc98e7e8490dad69ca94 NumUnaryMinus NumLe TypeMismatch
ca3982bb1b4cbc9fd32af35f772c145d5d2b9af8 NumUnaryMinus DefFun TypeMismatch
45f2c60f25dc4e2bf7dd8f229669d445c6ac649e NumUnaryMinus DefFun TypeMismatch
2319a4db7918a7ac0ba6461c20cbe06e56c55961 NumUnaryMinus LetDefFun TypeMismatch
aa7c9de83bc0138828fccda14af8526c6be4e35c NumUnaryMinus LetDefFun TypeMismatch
a2b7e05bfdffc2607160ddb62c376a528ef186a0 NumUnaryMinus DefFunRecursive TypeMismatch
165b0d185f0eaad2d684def2cba418787302d9ad NumUnaryMinus DefFunRecursive TypeMismatch
d22c78f6f377cef73e6f551639907060606adbff NumUnaryMinus LetDefFunRecursive TypeMismatch
070db38211c54b00ad3ac1a26668a663db4c805e NumUnaryMinus LetDefFunRecursive TypeMismatch
45a797b06d188374d48270d5f21d28e2535e96aa NumUnaryMinus DefFunInDef AlreadyCombined
b1de50b945c5f38cdb7e0bfa29d6205a31a0fb66 NumUnaryMinus DefFunInDef AlreadyCombined
abe0c3e6160fd45448b906b8d2bffe187f4351dc NumUnaryMinus LetDefFunInDef AlreadyCombined
26fac75ae845cf48da7381b7c202c70002b6ad63 NumUnaryMinus LetDefFunInDef AlreadyCombined
2f0bd978ee1668706151bf9313b506a75eee8659 NumUnaryMinus VariableViewExclude VariableExcludedFromView
de5e456ea37aa97867dec3c0184f9d73c7196c6b NumUnaryMinus VariableViewExclude VariableExcludedFromView
d1b979765f7f51b7f6218e3c260de2ba3b4b3058 NumUnaryMinus ConstantModelValue ModelValueCanNotBeUsed
6c6051dc17dd57b6034d56cbd6c65c6ceb48d0e6 NumUnaryMinus ConstantModelValue ModelValueCanNotBeUsed
78c7e2385ea8cf1a8541e4e8c8b43eb52acef4a1 NumUnaryMinus Enabled TypeMismatch
5632fce647a3e1af67cbf8d93a6abc403c442976 NumUnaryMinus Enabled TypeMismatch
51580ee90d7c2c7c33dd1bf8daa9cdcf729ff874 NumUnaryMinus Assume AssumeIsNotEmbeddable
9bbf9e541456fcc090a993220829ef343cffaf23 NumUnaryMinus Assume AssumeIsNotEmbeddable
b6d2919c6f27d9a35022f8a2c8b579aa0903b355 NumUnaryMinus AssumeNamed AssumeIsNotEmbeddable
54a820afdebe9e1f419e9dd6c2ec1882ecfab8c4 NumUnaryMinus AssumeNamed AssumeIsNotEmbeddable
d0e89d8a8182ff1117d2d23cd1f311b07a209571 NumUnaryMinus Lambda TypeMismatch
ab6a54989fe83c61559b76482ee7af9e0728dd0a NumUnaryMinus Lambda TypeMismatch
2dcc5ed7d406dc203783a61ca5c14e19429a520e NumUnaryMinus Cross2 TypeMismatch
7eb28f7b128c3912a58ec7af615ebb9f63bf8cfa NumUnaryMinus Cross2 TypeMismatch
8ad0be5b45c751f1ab5d9276c6729c60c978a1f3 NumUnaryMinus Cross3 TypeMismatch
d29ccebdec05d93e5981f98779b8061bd95eb3c2 NumUnaryMinus Cross3 TypeMismatch
3c6e9b314e71da483934d2e7e761228a533be185 NumUnaryMinus FunSet TypeMismatch
91a099867d5554d2e98082fe89e9e0b846165d1a NumUnaryMinus FunSet TypeMismatch
b424d3b3f2a34b80316def05a774275ec2276176 NumUnaryMinus RecordSet TypeMismatch
7fc8f4f237e12fc177963fe499687a73c38948c9 NumUnaryMinus RecordSet TypeMismatch
69fe6c6583da868a854e891716bb002891657596 NumUnaryMinus SetDiff TypeMismatch
f1404dc2eb96223dbb848caf572392ebb8290543 NumUnaryMinus SetDiff TypeMismatch
9663a9f1278fba392d18e3bb7ef6d14d678efd7f NumUnaryMinus SetUnion TypeMismatch
fa605fbdd1462bdd8944ee3f90b139da5b201662 NumUnaryMinus SetUnion TypeMismatch
9151063d6188e350be359759f9adf876b8e7e5c0 NumUnaryMinus SetIntersect TypeMismatch
3c1f202d3db0ec915a5b9c7ef701f737cba3b59a NumUnaryMinus SetIntersect TypeMismatch
96c686d928b2534c680e2c8eac27d5dcb6fe3a11 NumUnaryMinus SubsetEq TypeMismatch
01550f48278a86e1c7150b3de86aa4062eca7547 NumUnaryMinus SubsetEq TypeMismatch
af0d9e51b1c00cd0dd19d3ec1fb19aa72c69c3eb NumUnaryMinus Subset TypeMismatch
7d58e139b7d3ffc99d6bf9a319f284a1eccb8909 NumUnaryMinus Subset TypeMismatch
f74fb6cf45e63ed4ab1e36740fc98876b86e58fd NumUnaryMinus Domain TypeMismatch
774a3ba8c93a5b487301d8ea04b436fa0dfeaf6a NumUnaryMinus Domain TypeMismatch
c91dc2154300fd3c9ea576a8197ccd345a113e4c NumUnaryMinus Union TypeMismatch
3dc3c22ecd0c23e3bc73e2f8db77bf5a6235b3c4 NumUnaryMinus Union TypeMismatch
4036eb27325744ed4b7e140fc684f68c4ff586be NumUnaryMinus Unchanged TypeMismatch
c19b04d4790cd826769cdefd6a937544364be230 NumUnaryMinus Unchanged TypeMismatch
2271c525a804f6e15c629bb7d589680be367f30f NumUnaryMinus Equivalence TypeMismatch
f7a8d8e11346e148cbb51192b2c562916fcb6a18 NumUnaryMinus Equivalence TypeMismatch
a5a641f6e7cbacc374018faedcfe4442507764ff NumUnaryMinus StringEmpty TypeMismatch
0da03eca432181dcc32223788ca16e9b5b7c9b1a NumUnaryMinus StringEmpty TypeMismatch
d9c9111ac4594cbe744f3b4db8d6b6fc921b5c7b NumUnaryMinus String TypeMismatch
ba886b66403e84344d6a1e136911da8ce8834a52 NumUnaryMinus String TypeMismatch
630065763f07aa07d2c2e100ee61131c1b3523df NumUnaryMinus SeqConcat TypeMismatch
d3841f1dc89c5bd0530f4053490ee0c55a82d6b5 NumUnaryMinus SeqConcat TypeMismatch
caafbf18b39d0319b565bbae651355396c461e63 NumUnaryMinus SeqSeq TypeMismatch
85ef0f3a38950f77f3457c321b804538754e66c8 NumUnaryMinus SeqSeq TypeMismatch
f68a1cdfbb91f697b7dd29f1eee6424773f714ea NumUnaryMinus NatSet TypeMismatch
4af51f9646e8b9964828b36b13c765ccf8979d97 NumUnaryMinus NatSet TypeMismatch
9cd44b62da005a027ef0cd5b86442c46ad8d6df5 NumUnaryMinus IntSet TypeMismatch
8b23fb0fb482e807c576840ea6c1d66950da0ab3 NumUnaryMinus IntSet TypeMismatch
0524e914258c354ade4cf3540bd3539de6d3326e NumUnaryMinus StringSet TypeMismatch
ee9081748b236d1850e9b6b9f8313dd62e99ac56 NumUnaryMinus StringSet TypeMismatch
6839212a6c1c22dc8c046aa804818839f3292862 NumUnaryMinus SeqSelectSeq TypeMismatch
7e5c592e7a8937fecc73d221ad284a86fe83654c NumUnaryMinus SeqSelectSeq TypeMismatch
b5ed226d7dbeb74e668eecc2ecb96fb60bb15239 NumUnaryMinus SeqSubSeq TypeMismatch
fe5242de502a07a24a934212e029e69c4449b925 NumUnaryMinus SeqSubSeq TypeMismatch
f25f2657c0e1f7ed5d2d8dab1562f7c4aa6e068d NumUnaryMinus NumRange TypeMismatch
bb159e3896fc1bcf9d6b0daadaad0593531d3c24 NumUnaryMinus NumRange TypeMismatch
342248659f651e84f4fac4758dc8d89849bc8e03 NumUnaryMinus TlcSingletonFun TypeMismatch
3f293fa0077f38bff478bf31d28249660da8b209 NumUnaryMinus TlcSingletonFun TypeMismatch
f6ed3c2f69879c8d6da6cafcca7bed69f746e02a NumUnaryMinus TlcExtendFun TypeMismatch
b24b926794300418678dafbf000e21555e1b7195 NumUnaryMinus TlcExtendFun TypeMismatch
743afbc19c6253c6d6aa542d174b9dc0b4c83960 NumUnaryMinus TlcPermuteFun TypeMismatch
0155c3c3e4135f008ae398dba620f82d28eac8a5 NumUnaryMinus TlcPermuteFun TypeMismatch
67af8bff3eb3c79549648a89ee03c79563350619 NumUnaryMinus TlcSortSeq TypeMismatch
960ba65661534de81a8f5d9545216b051b1cca2e NumUnaryMinus TlcSortSeq TypeMismatch
d707d70c2bb56c637be15a992cc66182e41c24fb NumUnaryMinus BagBagToSet TypeMismatch
b7e900406bacd9e4bc1d9c29859127800110fd3d NumUnaryMinus BagBagToSet TypeMismatch
fbafb1aa5a286fcfe6baf8e84b7a2e1714fba4be NumUnaryMinus BagSetToBag TypeMismatch
0de72fbcab2ef7a9a14fa5889e0c587de378c437 NumUnaryMinus BagSetToBag TypeMismatch
75d341d0f5bfc74cf336b1c9c05b5663a3e4a549 NumUnaryMinus BagBagIn TypeMismatch
bb9f94fa79e7be4adc69984fd60ea7a58f716d98 NumUnaryMinus BagBagIn TypeMismatch
81b1183298d011801096b968e164c3be36589b35 NumUnaryMinus BagEmptyBag TypeMismatch
2162717a2cd21ab6b3f19b46ce335f1a081715d4 NumUnaryMinus BagEmptyBag TypeMismatch
b98ef0fadb0bff736bfebbbc887795c6a76f60b3 NumUnaryMinus BagAddBag TypeMismatch
a80e365dd8d8eea8bea3491b5c4cbd8176eef8f8 NumUnaryMinus BagAddBag TypeMismatch
610e4bf4b5f7b98fe4bc57b6eec2127b60338648 NumUnaryMinus BagBagSub TypeMismatch
aa32e25e6a3934fcfad605eb79bff066c9e6756e NumUnaryMinus BagBagSub TypeMismatch
f0e4ba410e3a7a6947bad6dece70826e186b192b NumUnaryMinus BagSubsetEqBag TypeMismatch
eaf4de581c842c6a049f8a6e1468718e8f1193f3 NumUnaryMinus BagSubsetEqBag TypeMismatch
e0da1434c67b9efa4cf462854d912fe40e4e4fab NumUnaryMinus BagBagUnion TypeMismatch
5a154f13aea1f35eb70801f2c55050e2ffb4e5df NumUnaryMinus BagBagUnion TypeMismatch
5c8d18d873e8c800022a4418bcdbc7e5b6c69b3f NumUnaryMinus BagBagOfAll TypeMismatch
5717971cbfbadd1d1ce8b5e27e0246e585b93bb2 NumUnaryMinus BagBagOfAll TypeMismatch
fa3c00fb854ba80e8ee91fb1b6bbf0695829b362 NumUnaryMinus BagSubBag TypeMismatch
bf0f828793871d50198258600c370f3de07ee226 NumUnaryMinus BagSubBag TypeMismatch
d464705e1c1d9cd9a3cf5bc96b2ccc9814395f34 NumUnaryMinus FiniteSetsIsFiniteSet TypeMismatch
dace3d56b76ec9dd4c9bafa508ee4815d8dda9c5 NumUnaryMinus FiniteSetsIsFiniteSet TypeMismatch
fe1a81179318980363edb225299d2c0f3304b03a NumUnaryMinus SeqTail TypeMismatch
ed21d8cf84d172baad5bc2614857bcf68a7e7195 NumUnaryMinus SeqTail TypeMismatch
aa73b6410fcd81c7a952484b84a11dea8ebe5330 NumUnaryMinus SeqAppend TypeMismatch
4b5f48f0daf227bca6bae90b1b5667b26daf9721 NumUnaryMinus SeqAppend TypeMismatch