Id | Case Feature | Plug Feature | Skip Reason |
---|---|---|---|
ef07994a8996e7dc3767298c2e4c384350a0d42d | OneLineComment | InstanceInFolder | CanNotBeCase |
89934a2623336a7a9692d181269d33489a615b6d | OneLineComment | InstanceInFolder | CanNotBeCase |
332cf82df6eaf0da0bdc659f9f70401b1a747416 | MultiLineComment | InstanceInFolder | CanNotBeCase |
74b368cde572415a1022d9ace712fc642c7a764e | MultiLineComment | InstanceInFolder | CanNotBeCase |
07bf7e628123a553d7046168bf2364f94af372cf | BoolTrue | InstanceInFolder | CanNotBeCase |
27646d664755f486adadb0dd7f47a0d432edbcd2 | BoolTrue | InstanceInFolder | CanNotBeCase |
1ffbe2f9c93eed811467da36dd99117520a99361 | BoolFalse | InstanceInFolder | CanNotBeCase |
181b7db6d54e9688fb7cbdade2a12c2379c1b015 | BoolFalse | InstanceInFolder | CanNotBeCase |
43a35f3ecbba2981b47fbe87cb12da7f6b425a8b | BoolSet | InstanceInFolder | CanNotBeCase |
2f233d1c07e3ce787a1e4274e7b93306af211b06 | BoolSet | InstanceInFolder | CanNotBeCase |
edda60d4d773e6a48c581c6a7a1a28d8db4c527f | SetEmpty | InstanceInFolder | CanNotBeCase |
ff87cd2eb2077915f56c8ab08c25ea85ed280854 | SetEmpty | InstanceInFolder | CanNotBeCase |
7664775c3cbe09baa366732fa67057f573c73af1 | Set1InDef | InstanceInFolder | TypeMismatch |
e8422c4f4d224ebc943b9246d7b8f6c5f35a6f7e | Set1InDef | InstanceInFolder | TypeMismatch |
b9513c753bedfb529e9d5224dc28fb40e0a87f4d | Set2InDef | InstanceInFolder | TypeMismatch |
1b7775ffb2beacbba0446026f6f51bc97d05cb08 | Set2InDef | InstanceInFolder | TypeMismatch |
e47cd9b476f3dc2c8eb36375991f77316c2c990e | InDef0 | InstanceInFolder | CanNotBeCase |
45602e626ad116fbcef1247ef2e7d999580626ad | InDef0 | InstanceInFolder | CanNotBeCase |
a5b7b1efc317487eda2278299585bf0f5a8a6594 | InDef1 | InstanceInFolder | CanNotBeCase |
6361be0130c2b6e778d6645bb72a10535ee04a9d | InDef1 | InstanceInFolder | CanNotBeCase |
a00a9951eef953ddbd3feb03138ab4d313eb6226 | InDef2 | InstanceInFolder | CanNotBeCase |
5687a3965f2c483a727cc66cfd10b91743caf8bd | InDef2 | InstanceInFolder | CanNotBeCase |
b137eda187512b047ac49832b8674cd3f970d5ec | FunInDef | InstanceInFolder | TypeMismatch |
18e384da87bbe681d0ff315ddf1d0d0920b36e70 | FunInDef | InstanceInFolder | TypeMismatch |
baa6f874d1348f4fdce233956d5b96cd56af2581 | ExistsInDef | InstanceInFolder | TypeMismatch |
65d333d14546743b91b64247d9b0267ec918f0ce | ExistsInDef | InstanceInFolder | TypeMismatch |
221f5d20c9bf806514f726e6e46705a79fb2cc83 | ForallInDef | InstanceInFolder | TypeMismatch |
c40407dd63fbd6e894c979fb2949ceaa36db29ea | ForallInDef | InstanceInFolder | TypeMismatch |
d6d8f3388abedb83ff8c2eccfd7fd06ff23e97be | ChooseInDef | InstanceInFolder | TypeMismatch |
7b0f1b3c09158ddf4f8f6e6e86eb7e44a52dd2a2 | ChooseInDef | InstanceInFolder | TypeMismatch |
eda5d4a1009ce86d5675981c4772dab69b6d6006 | TupleEmpty | InstanceInFolder | CanNotBeCase |
983e7ddd1c98ab9e2d8fa78c7c91fd78e0dc4407 | TupleEmpty | InstanceInFolder | CanNotBeCase |
d2daa662db6e8fcbd10821116ea5dcb1e451eb5c | NumZero | InstanceInFolder | CanNotBeCase |
943adc382e45d24eb364314540905374ed2ee32c | NumZero | InstanceInFolder | CanNotBeCase |
d2f0fa119ef394ad4969734b9bbddf8ec77c63e6 | NumOne | InstanceInFolder | CanNotBeCase |
a7a61e37a45f5965bfbf9373bd8b3033219d143f | NumOne | InstanceInFolder | CanNotBeCase |
de82655e7f6a8209ffb1a330a75ce2b256d1ceba | NumMaxInt | InstanceInFolder | CanNotBeCase |
6960ea653ee16c9284b5ddf8395f07f18920fe47 | NumMaxInt | InstanceInFolder | CanNotBeCase |
49720d5030bd78e9891699ac576766cc16d2084c | DefFunInDef | InstanceInFolder | TypeMismatch |
95bd27ff32071098fa23d539abe34fe7e7855876 | DefFunInDef | InstanceInFolder | TypeMismatch |
67190f211b9e977d34a0c87d441b7633237ab11e | LetDefFunInDef | InstanceInFolder | TypeMismatch |
dea1db5a2f73a18cc4dab2ae8fc5e12ec0c7714e | LetDefFunInDef | InstanceInFolder | TypeMismatch |
8dbb13217a7d293731ea49854398804b0805dbd5 | ConstantModelValue | InstanceInFolder | CanNotBeCase |
3c476431618ce72071810725173d367197a072d9 | ConstantModelValue | InstanceInFolder | CanNotBeCase |
fac0f578c4e4bb2faf1bc969a654eb3226b23455 | StringEmpty | InstanceInFolder | CanNotBeCase |
6970b50604b5b3d3dc46a325360225716c58b581 | StringEmpty | InstanceInFolder | CanNotBeCase |
329e7ab26dc33dc7fbba44cde3cc3a1fd9c16382 | String | InstanceInFolder | CanNotBeCase |
d0e043f76454be5367762be3ec9f24382465472e | String | InstanceInFolder | CanNotBeCase |
4698a2f34330ded08f9d9a10fc57c9be04a7476b | NatSet | InstanceInFolder | CanNotBeCase |
279d09feb5e22f8d4d9c0e463f8101c674f6a6ce | NatSet | InstanceInFolder | CanNotBeCase |
11edb2e61a3ccfd08aee7cd7aef3e8768c930580 | IntSet | InstanceInFolder | CanNotBeCase |
27fdc0d932f34dd7e449cd73a50ab8887ca8cdeb | IntSet | InstanceInFolder | CanNotBeCase |
0e690687fdd118032b9a1fbf12d2d7529a4b0dc4 | StringSet | InstanceInFolder | CanNotBeCase |
8f520f5f9b800da76e7cd106ea74912a8d3bdf21 | StringSet | InstanceInFolder | CanNotBeCase |
886e7c478554122ecd7ca52ac279282a089a1e34 | BagEmptyBag | InstanceInFolder | CanNotBeCase |
5f158050891962e7c35702338fca682a30b48bed | BagEmptyBag | InstanceInFolder | CanNotBeCase |