Index

Skipped feature combinations by plug feature Choose

Id Case Feature Plug Feature Skip Reason
b5134c61d9d4fed125abcb7453de107ae3f0a53d OneLineComment Choose CanNotBeCase
3b75117cfd10262eae45dcc95b02e77ab8c739d1 OneLineComment Choose CanNotBeCase
71b1e557ad4b2df0d03fceaa221431f9a11f2c69 MultiLineComment Choose CanNotBeCase
2d5e33d8501318e6e0dd7a1ab34818a2eb5ee89f MultiLineComment Choose CanNotBeCase
142a0e852592ee7f54b66b5a8d8a259197e3163c BoolTrue Choose CanNotBeCase
e2bf29f63907b0e4bd84b3226e4acb8260360ecd BoolTrue Choose CanNotBeCase
ba3627a5aaa17def9339ad0c27e54f9535469152 BoolFalse Choose CanNotBeCase
caec2a93ca3114b4c70eb629405173b4d01b384d BoolFalse Choose CanNotBeCase
1cc507527e834c0df6df554ff4e68b112ba9d821 BoolSet Choose CanNotBeCase
89072640a7e9c9eef62d6a63d4312d62379294cb BoolSet Choose CanNotBeCase
3fe62b6fba7cd0aad822ece4cd9c2e3f74cc612c SetEmpty Choose CanNotBeCase
b0e0e8f583d872f6ae8871707d0660e37c34fcad SetEmpty Choose CanNotBeCase
ed4eb343f23a5f1fd0c337e98bc8f97ab11d56b9 Set1InDef Choose TypeMismatch
3af9ab29510ca34050eb2586b69e1f5b941bdf12 Set1InDef Choose TypeMismatch
1ed4099b0188ea3b97da76fe8d43729c30795051 Set2InDef Choose TypeMismatch
1b5873db1aef47705a4e09d71c695d8d4f03044b Set2InDef Choose TypeMismatch
93522c8758df1f984b923e1f6c32b271b9dbdcb4 InDef0 Choose CanNotBeCase
5ad1a97175150a1fce8a2f9e9b9c9b7fe5edd1a4 InDef0 Choose CanNotBeCase
9dc341e2d5837c297d3ff0fa245c0d7709a2cf88 InDef1 Choose CanNotBeCase
012c55b430f8ce07ac9e053b6429cfc1e667a4bf InDef1 Choose CanNotBeCase
84cd767769a143c6bfc1914e25eb2794286b962e InDef2 Choose CanNotBeCase
add00c72add6e8939ad67f143b06090e86422fdd InDef2 Choose CanNotBeCase
cdb3d14505a3b6230656da6f16691d901c2e281f FunInDef Choose TypeMismatch
a5e32736b3bd65d09d93c2dacd88350bb6d04076 FunInDef Choose TypeMismatch
8e10dd506ba97fd06267baa6152d8454cc851f89 ExistsInDef Choose TypeMismatch
8c338dfb737970dba9cc99217f39481251c608dc ExistsInDef Choose TypeMismatch
23394afc40ebebd0e164bcc0c0c6c49f691ecbd8 ForallInDef Choose TypeMismatch
48f66c581bec31f337ccba58d36a2c486d3a5c8c ForallInDef Choose TypeMismatch
1e09cb7cee3ea237513fe04bf99f339b7b488837 ChooseInDef Choose TypeMismatch
5a397b7a778e5f6c5902e22e7151ef7b13fba2cb ChooseInDef Choose TypeMismatch
c93e1faca94bdff57b34c4a68a0f3090793157ff TupleEmpty Choose CanNotBeCase
72020871f6435831b690ab297d168eebaa808f38 TupleEmpty Choose CanNotBeCase
09a18bcac064db92112c7f8d3c91b0ba5a47fd7e NumZero Choose CanNotBeCase
aa0bc581ff266f9333e6c89d3b1e52752f8b06d3 NumZero Choose CanNotBeCase
493de2e2b64cd7a651f29e776d14c16077b670e2 NumOne Choose CanNotBeCase
3bcf6d31a8a7585a7ee771ea96b352d51c78d076 NumOne Choose CanNotBeCase
12054f2113d0f420045e1bde5d47a65cda2f50d8 NumMaxInt Choose CanNotBeCase
0b09747f9c9c8221c68bf7726598218c660d37f1 NumMaxInt Choose CanNotBeCase
73d060c9c4b40f3b8fa717238dd924fc4ad084ad DefFunInDef Choose TypeMismatch
fac2cc5fe266f92d0446eca12523e40fb9d4ba54 DefFunInDef Choose TypeMismatch
ac1a91cd913ffdf68c04f77e5fb5ce6463070091 LetDefFunInDef Choose TypeMismatch
55dbbcb913cb91b648b0abf4788cb6401cd46354 LetDefFunInDef Choose TypeMismatch
07017cf75902df3242411d839f9f2b7ab2dbcdac ConstantModelValue Choose CanNotBeCase
ab3b7744d275b97f6f3456798d9b9f86537e91e1 ConstantModelValue Choose CanNotBeCase
29237a2e074d3a2b2084ebe6e7f9e84a8ab09b66 StringEmpty Choose CanNotBeCase
ebfb4f81b875b241a0965c1bee6bb231589e2b03 StringEmpty Choose CanNotBeCase
255626e0188d2ca4aaece20b51f29e431e3952e0 String Choose CanNotBeCase
92f3bd6f053dbf23acadba50091a0bb814c4ae3b String Choose CanNotBeCase
87b3a799308292688a8af040b2e28a0f65c5981b NatSet Choose CanNotBeCase
aa01ee4cdcf76e3162fc7fa0155356fcadae21ac NatSet Choose CanNotBeCase
afa20c8e2226c749df77d77da11c189972a7de56 IntSet Choose CanNotBeCase
e1abec79166bbd5ca69e851499f5ff98a76dd09d IntSet Choose CanNotBeCase
8b4ce9f22375d196a767153e1113c2c8e07a8ea2 StringSet Choose CanNotBeCase
d5387f62382db5968328305191c23d3e7bf2e53b StringSet Choose CanNotBeCase
fcae55cc97505ae5406a939b9b7c72fa16fa7f67 BagEmptyBag Choose CanNotBeCase
3cde3fd2b21c0a94703795e97ccabc14dd5b386a BagEmptyBag Choose CanNotBeCase