Index

Skipped feature combinations by plug feature StringEmpty

Id Case Feature Plug Feature Skip Reason
db6eb0126ba79f84f72c215aa117fb3e7a5fe8a0 OneLineComment StringEmpty CanNotBeCase
133c4c89db051bf60c7b8ad6caa3a1b92510685b OneLineComment StringEmpty CanNotBeCase
d8e6b9e85ea210965a60bb16b3361af8cb956f69 MultiLineComment StringEmpty CanNotBeCase
0256fe9e2b390a373d78bffd5bf7d430461a5bdc MultiLineComment StringEmpty CanNotBeCase
26ef6195ed838ecd5b363ee0f372c1b50c2b4cfc BoolTrue StringEmpty TypeMismatch
5b774eb84ba17571708ba61cb70c7975f1e1a26f BoolTrue StringEmpty TypeMismatch
b1de9ff8363f6c09eaec99e5f9d1b7c3a843142f BoolFalse StringEmpty TypeMismatch
6ec6abaf852052b4300c0ee34dacacec294a7bee BoolFalse StringEmpty TypeMismatch
062de3e3ab78c51c4c84dcfe676af3db05f4ae02 BoolSet StringEmpty CanNotBeCase
1224984a643cb5a8c79115580f4496e13c01fe8f BoolSet StringEmpty CanNotBeCase
84fac294057cf993ede47caeb1902d06ddbf822e And StringEmpty TypeMismatch
ba78209523705ed3dd725a368b4a89636818dff7 And StringEmpty TypeMismatch
8fd704cc42bd7917cee0c015de16aacb5aa9a0ef AndMultiLine StringEmpty TypeMismatch
06393eeee7ff466472fcc7008fabe5803026b011 AndMultiLine StringEmpty TypeMismatch
1aeb6d0d2f7cb5e579f45944c616bc9aa4567b93 Imply StringEmpty TypeMismatch
9d3ed871ec5d46c4ff079e15745c583b1a83b5b0 Imply StringEmpty TypeMismatch
93f447ab71e0b0ebaae140d69c6abcbfb295d1bd Not StringEmpty TypeMismatch
f83f203ec33e2aac3d098aa0d10c7de96f5d80f4 Not StringEmpty TypeMismatch
5339b58ae86059921ec1b1d4bd21bdc11d83e308 Or StringEmpty TypeMismatch
9ed9cd73ca7d6df5b7f5fdefdcffc219ec6a0dea Or StringEmpty TypeMismatch
ff8c1bd31683e4e81467e5ccef286cf8c1c0738b OrMultiLine StringEmpty TypeMismatch
bf503cc799f67f35694f28e1e9616c0b26cef5d9 OrMultiLine StringEmpty TypeMismatch
e82e3b5f3f27ee328863f68b6df865a78caa5200 AndProp StringEmpty TypeMismatch
4cbaa67422ee77ba1b6bf29e49ce98fee1e898ac AndProp StringEmpty TypeMismatch
ce4e3dbf54bfd6782fe0c7a917231bd5673d8d96 Boxed StringEmpty TypeMismatch
928e24666a15ca03365ae78af8c05b3dad0de793 Boxed StringEmpty TypeMismatch
1ea770ba626a81ba8f53f4dd1df8229bc67efb12 SetEmpty StringEmpty CanNotBeCase
95129abf3da0facef981e8d16165a62d20629963 SetEmpty StringEmpty CanNotBeCase
a4b75890b8e17cfc30069019f83a058ddc93b0ee Set1InDef StringEmpty TypeMismatch
90932d1620448ce12d911ac9fc751b0dd275a3af Set1InDef StringEmpty TypeMismatch
6d398ba545b4f1f9322d8967167ede91de4f4574 Set2InDef StringEmpty TypeMismatch
24f373a3e76b0126580314ccfee1a96d5048c9f2 Set2InDef StringEmpty TypeMismatch
f28d652e9794419b53b6ace3cb3d9fb77c666e98 InDef0 StringEmpty CanNotBeCase
fe8a89b7b09e52ba5bd72c3a8fdf0963f6279dd8 InDef0 StringEmpty CanNotBeCase
a9a6152cfadcad4dd0bf01b058dd95e98560710b InDef1 StringEmpty CanNotBeCase
b4cb0df241ee5d23f49516f46a91d678a016f35c InDef1 StringEmpty CanNotBeCase
70dc0540247b72adb122f35d2c6c065e76cafe26 InDef2 StringEmpty CanNotBeCase
8d0a154f8d7a498d46bfd9fa0e8311fb20b68937 InDef2 StringEmpty CanNotBeCase
013d5d7a40bb0f1f141a6958f30c31790d6e05aa FunInDef StringEmpty TypeMismatch
93b37789f59da71d6c4cdb0c8e3fab2eb0054a6a FunInDef StringEmpty TypeMismatch
26ee105da9e848879b66c9944954f2f919fae3fa Exists StringEmpty TypeMismatch
5a321953fb2efedf95a3315753017d31be56b744 Exists StringEmpty TypeMismatch
e58659b15de2bcba904d6bc83b7b74dfd0602ecc Forall StringEmpty TypeMismatch
85edee099587835ca5cd86848542b7a95700f543 Forall StringEmpty TypeMismatch
81f60bdeaf7ca16bed177dc612af084cceb04004 ExistsInDef StringEmpty TypeMismatch
dbfcf90a1083425cd9bfefb652f9cc7620bf92d5 ExistsInDef StringEmpty TypeMismatch
9a763c5b4f3494edc1caaeac4f520ec7cd7bf601 ForallInDef StringEmpty TypeMismatch
a004e9dde0eb6ac5dbbd6db8b2b489c63b378ec3 ForallInDef StringEmpty TypeMismatch
d30a64e402db939eb5ac4a883923e7c79301b966 Choose StringEmpty TypeMismatch
e9d90fe58fecc6b754c932f50a92428e64373e4d Choose StringEmpty TypeMismatch
81a99d1d2155fcc8463b124feb9e6a6c39dc970a ChooseInDef StringEmpty TypeMismatch
af2f567235960b9a696966934be2e3d37bf1c074 ChooseInDef StringEmpty TypeMismatch
6f727825ad805163d115f6bfe85af9475a77f91f TupleEmpty StringEmpty CanNotBeCase
73a19ac324ff65933e3085b599b6503175e89765 TupleEmpty StringEmpty CanNotBeCase
a5f6f2dadd348f3958929c23b5ecbd27d8ca8174 Except0 StringEmpty TypeMismatch
d4bba9c85cee6a2276ef38f723138ada8985f09f Except0 StringEmpty TypeMismatch
27699a917f0824925b4f6dfeb2dd8bed378d1be3 Except2FunTuple StringEmpty TypeMismatch
db9e417000179cba8b78a13eb27390ff819a9aac Except2FunTuple StringEmpty TypeMismatch
98e6c555a256ee4f3645c6fd15e74a47392f89dc NumZero StringEmpty TypeMismatch
16a826c53dc211955708293c83d371d956c387fe NumZero StringEmpty TypeMismatch
5d8b696308fdca6a1b945d0476eec752359a4971 NumOne StringEmpty TypeMismatch
34c89d9c640dfe2ed571c13ab78448a2f1a9d799 NumOne StringEmpty TypeMismatch
f71538f06af338cacf0b560da25ef37226d54f9e NumMaxInt StringEmpty TypeMismatch
758694881b689ff209dc554aa634f320489b2c49 NumMaxInt StringEmpty TypeMismatch
a5a641f6e7cbacc374018faedcfe4442507764ff NumUnaryMinus StringEmpty TypeMismatch
0da03eca432181dcc32223788ca16e9b5b7c9b1a NumUnaryMinus StringEmpty TypeMismatch
b2fee65f62cb70b101a8fa9a64f476af39c0234f NumPlus StringEmpty TypeMismatch
49deb7fd2ef03dd15ba64396ff45576e681b7908 NumPlus StringEmpty TypeMismatch
dd4f7f308471e0ed91807a4758fa0ed7ab68a5a2 NumMinus StringEmpty TypeMismatch
fd9ccd856561d32d34b988f05a393398d9cca8a5 NumMinus StringEmpty TypeMismatch
22d6dfbdfe16abf6fc6cea434c5157936572bf05 NumMul StringEmpty TypeMismatch
9e3fbba2d4e9262cbdb2effad6251ca0487a6983 NumMul StringEmpty TypeMismatch
79a4e8d8d1e4196215806a99bce10cea111a9006 NumDiv StringEmpty TypeMismatch
3cf90d362a7bdff1f27faf501b5a60ffc5737eb0 NumDiv StringEmpty TypeMismatch
eb8c8704e47d22cfd70ac5d6705b1f68350de67c NumMod StringEmpty TypeMismatch
ef52ff564bfa0a398b6ceaa9f5b2a352633096ed NumMod StringEmpty TypeMismatch
99a46142a1eb26720f364d4457d64a831d56b993 NumPow StringEmpty TypeMismatch
2a27b71ef14de69427d87da8ff5d6ba5b0f95e27 NumPow StringEmpty TypeMismatch
592504c2d72e257a74f5a4ba48ec9a819755eac6 NumGt StringEmpty TypeMismatch
23057a72352fe49bd8dc27d8cec17514812c66af NumGt StringEmpty TypeMismatch
9644cc7b19206a2c51de80de3ccd7c4519f8402c NumGe StringEmpty TypeMismatch
005b0aa4a7b1f6c0ed73da42947316133afb73a7 NumGe StringEmpty TypeMismatch
2b893dd3318915099ae8a9ae7c6d98ba0dffb9f4 NumLt StringEmpty TypeMismatch
d9cd7ba33140bf8b94ec5e04302679bef36fd045 NumLt StringEmpty TypeMismatch
3a5f1cffb02c600568ea6900252e3178c71150e8 NumLe StringEmpty TypeMismatch
01b2d1fdbef1c82e9c883631b3313514f12a8e64 NumLe StringEmpty TypeMismatch
28ee80fa3af401083981f1122741f74531fe969d DefFunInDef StringEmpty TypeMismatch
dc2d12a66ff427185710812cc2369f6c8060e3cd DefFunInDef StringEmpty TypeMismatch
25060c5fe308f6f5b5e9d696440baac924b55976 LetDefFunInDef StringEmpty TypeMismatch
df3e44f923f649b28907f1a90ea48054764d5157 LetDefFunInDef StringEmpty TypeMismatch
df738941d2d1a1921b253cca31e54f7020797c47 ConstantModelValue StringEmpty CanNotBeCase
f19d32e107c29aab81260044efa0e28396a6adec ConstantModelValue StringEmpty CanNotBeCase
764925dc5cf039ea30e46b268148f6b3dd03fafe Enabled StringEmpty TypeMismatch
c78def8764408039010698647a9060383edaac05 Enabled StringEmpty TypeMismatch
a6ec1c2f14eed1f09a92ba2442a7b6168eacdf14 Assume StringEmpty TypeMismatch
0a3aa6ccf50da8637d989b10a84f0f051790c2b4 Assume StringEmpty TypeMismatch
8308cbabbfd7b2ac9fd663a402905d3397c97226 AssumeNamed StringEmpty TypeMismatch
a74130079155e318d01fff420560f84108ae30db AssumeNamed StringEmpty TypeMismatch
a46ac1b607e64dace004ba5acb1f613089a302a7 Cross2 StringEmpty TypeMismatch
fb327092346bdb0829bb915461d582b72fd00211 Cross2 StringEmpty TypeMismatch
a7e79d4a1915e9d008d225e4eda42e91efa79719 Cross3 StringEmpty TypeMismatch
4e3642e6587310dfd0e687d494aa49d37f7b81f5 Cross3 StringEmpty TypeMismatch
15c8771d4f369f419d84196d986ec182ffafcdd6 FunSet StringEmpty TypeMismatch
2788164d4b156090d7043a6e8afe3391201a45c7 FunSet StringEmpty TypeMismatch
bf8ae380d63fc013d5ba1268a9df8786ccd174da RecordSet StringEmpty TypeMismatch
b7f1af85be61de2b13cbe0c5edce113f4f29dcff RecordSet StringEmpty TypeMismatch
c1a59e6c5f15ab055c8a3e3a61a65319c4512ebe SetDiff StringEmpty TypeMismatch
1e56a42d233a538552a348b95c67e250153f96b9 SetDiff StringEmpty TypeMismatch
904b9c6bb5825925a19e69e61855b7b04bb49d7b SetUnion StringEmpty TypeMismatch
70ba2cd6abd3f74e7436ddfa1856cd01ac32e7c8 SetUnion StringEmpty TypeMismatch
dab9db3f9a3fd5587952c398a1f52d6f7c5a7dda SetIntersect StringEmpty TypeMismatch
3b135247dd8ddb3e33bfee762ff126d6d3143ddc SetIntersect StringEmpty TypeMismatch
52b8df9f90368a8f588f83c2e38256de2b96d34c SubsetEq StringEmpty TypeMismatch
72e77b98339c54cb3146cfca34af47dabb6b58da SubsetEq StringEmpty TypeMismatch
ba4e653808f9c064c1290228223cb2b383d78922 IfCond StringEmpty TypeMismatch
3e59fdd230e61e00c2088df5ea788cdd76aa83f2 IfCond StringEmpty TypeMismatch
a49768587f99e0baf2a6698c7dc2c85809b0e4f9 Subset StringEmpty TypeMismatch
08cc387b30e22c25214a3875086385db182fd201 Subset StringEmpty TypeMismatch
89ebe54a8ae42f4aa1b9afb0957d36c0aad104a2 Domain StringEmpty TypeMismatch
ae90fdebf7e2e93377d62a04847b24bc527988c5 Domain StringEmpty TypeMismatch
66d982b73a5bd6046a4eb35ce7e8c8c3dc9d0fdc Union StringEmpty TypeMismatch
92b37f8b7ae6133e0fe2a0d06935ff095890afb4 Union StringEmpty TypeMismatch
d57d7ee59f29e618b8e8e0ee4015ceca03574edf Equivalence StringEmpty TypeMismatch
9e929a37efe3621247541755df2399900a9e3804 Equivalence StringEmpty TypeMismatch
596212693f224e3df0fd0ae67266c15de3d2c5e5 StringEmpty StringEmpty CanNotBeCase
8cd9832c54db4c488e3d2c60af93d520994374fe StringEmpty StringEmpty CanNotBeCase
b2ed1f6e63febbaaab2257fcdd366db30c5a85b5 String StringEmpty CanNotBeCase
a1f84fafac176666fdfe31b172bb902450aae013 String StringEmpty CanNotBeCase
620a10d21ec55ab2322671405616c58bc6c7b024 SeqSeq StringEmpty TypeMismatch
56c36765c829079840885c963c81815fd10a9127 SeqSeq StringEmpty TypeMismatch
50c9764c016735c9d588e34d3f8415ca9b5813d1 NatSet StringEmpty CanNotBeCase
76985014cca22c6aaac6d38aa5e995138267a08a NatSet StringEmpty CanNotBeCase
983335493f91eea4cee18ca9f0247a28e42c87fb IntSet StringEmpty CanNotBeCase
16403e20034da51dd0073879de3048a4ffcc789f IntSet StringEmpty CanNotBeCase
03d39335b8be6f5ec8d25d30c7ad2004b7042896 StringSet StringEmpty CanNotBeCase
4fc5ca28b522ae24dc1f9acd053f86a20c6b1349 StringSet StringEmpty CanNotBeCase
8516f8b64cae8d945f5f9d3578def074904d1979 SeqSelectSeq StringEmpty TypeMismatch
2c5e990bce1c06e6f6469d33d5f8d942480ed9d5 SeqSelectSeq StringEmpty TypeMismatch
662eea2ff758d9348639e1df43d6003570872e90 SeqSubSeq StringEmpty TypeMismatch
78faeefa4ebf0ef84d4cb1e1f6f12a5837cd96d2 SeqSubSeq StringEmpty TypeMismatch
89525b1a6235d282695ab6f2c141f65991abbb59 NumRange StringEmpty TypeMismatch
ac7b410ed9af874254e26473fd72cb9fa85238dd NumRange StringEmpty TypeMismatch
bc35e8fa549bc5c5e192ba8aa65427891a333c81 TlcExtendFun StringEmpty TypeMismatch
c3f28c4ee963dae0cc15cf722d8210f78a811234 TlcExtendFun StringEmpty TypeMismatch
77458595a5e0cd0276128c0c7bcfb4f1cdd58f77 TlcPermuteFun StringEmpty TypeMismatch
41abc3bbb89956f4068a7775d6a93d5df8c1f10a TlcPermuteFun StringEmpty TypeMismatch
306b865972df0bb0b4fb1a122be81515bda56c56 TlcSortSeq StringEmpty TypeMismatch
cf5efc952aaa61c7b566854faaedd5d355450f8f TlcSortSeq StringEmpty TypeMismatch
c1de9751a10ef732825e91881bdf9b7fb68d26c7 BagBagToSet StringEmpty TypeMismatch
0443117c07c99c4bdea941b0f28f20258251868e BagBagToSet StringEmpty TypeMismatch
751dfd04c11fcf4e109b36c0478e686b571e45ef BagSetToBag StringEmpty TypeMismatch
fb439fdd24ea0457ec4685d5ea512766abb67d89 BagSetToBag StringEmpty TypeMismatch
6babdc1cbb2be49230b493180dfcaa63f2b392c6 BagEmptyBag StringEmpty CanNotBeCase
43cb7d607dc48e5c67f47f559f92d8c44d6c5e07 BagEmptyBag StringEmpty CanNotBeCase
6821e187d2a86f4bf7d988475e886be1c87f1264 BagAddBag StringEmpty TypeMismatch
915266018e6b1866f3323ab1afed2dde7dade83a BagAddBag StringEmpty TypeMismatch
9268705e9dfa974fdc41b41bf5e23fc7eee07989 BagBagSub StringEmpty TypeMismatch
71b27de439c46e5c538f7c1a0e76e9976313bded BagBagSub StringEmpty TypeMismatch
519a26174f5c56b6421957c4c7758feac6827aaf BagSubsetEqBag StringEmpty TypeMismatch
2075994d58311b0010d66acc69704f5dd79e71fb BagSubsetEqBag StringEmpty TypeMismatch
fb80caa5fce7ec9877a4733953e510266fba4a9c BagBagUnion StringEmpty TypeMismatch
fcf91ca86415dbab676339571236b549552b66a4 BagBagUnion StringEmpty TypeMismatch
d5cb4c43bc422889a71efca72e0c0e7a613497a1 BagBagCardinality StringEmpty TypeMismatch
16113e10e0903369582f1d5d708e566b07715f54 BagBagCardinality StringEmpty TypeMismatch
67b455bf346a49e3d12a01b59b8017c969f8988d BagBagOfAll StringEmpty TypeMismatch
072204fcc0f3b72ed593158c1cba340730bdd005 BagBagOfAll StringEmpty TypeMismatch
e1ef2681ffa51ebbf870966bd8c524b50997c18b BagSubBag StringEmpty TypeMismatch
e9d47336068168fb1001b36a25296f3ca94ac86b BagSubBag StringEmpty TypeMismatch
0cfcd888705b3c89400f5155c39388c451d341f0 FiniteSetsIsFiniteSet StringEmpty TypeMismatch
380f86f7ea03a8af446e8c07396cd80fca4c045d FiniteSetsIsFiniteSet StringEmpty TypeMismatch
8ecb36e0e6690706cc8d3957624535a792990fbb FiniteSetsCardinality StringEmpty TypeMismatch
e81e50392abdf60d88d70d3c844b45fa10647051 FiniteSetsCardinality StringEmpty TypeMismatch
110a296eb94b9fa77be7a583bab25f39a20d1caa SeqHead StringEmpty TypeMismatch
bce4035366e7783d6598caa50b099711e931d256 SeqHead StringEmpty TypeMismatch
1b2b90a56b76be210e66b1d5a3261f30e0cf1b89 SeqTail StringEmpty TypeMismatch
9a891ebbf19dbc84528cda971dccf12a46fe3084 SeqTail StringEmpty TypeMismatch