Index

Skipped feature combinations by plug feature IfElse

Id Case Feature Plug Feature Skip Reason
994dfaefe26588079767c86f9d3eca2303fd80d3 OneLineComment IfElse CanNotBeCase
db6ab41c380e7bc72b6ac866388ac33c3d28c1ef OneLineComment IfElse CanNotBeCase
23f5debb9df778bebefb0bdf00d2f3bda894082a MultiLineComment IfElse CanNotBeCase
731e635aac52f05c3b0ca0665075ce6216c9757c MultiLineComment IfElse CanNotBeCase
c28b95d292c2ac9ca352ba0eacd3c7db4f7a8afd BoolTrue IfElse CanNotBeCase
3196452bc804ce4e1929cf8857a460a12cd9ad6d BoolTrue IfElse CanNotBeCase
080f43f401e1dade0ec9014bd4ee8ebd0671d84f BoolFalse IfElse CanNotBeCase
d34ba6194eae683cdc1ac5e045fd5013d2c4cba8 BoolFalse IfElse CanNotBeCase
8a9f08357f121ec136858c6b579354b2e322d4c1 BoolSet IfElse CanNotBeCase
e5a500ef2e325d789e8f0b60d898181058a0431f BoolSet IfElse CanNotBeCase
f497d517e624cc900860f450a7082e31bfb92f6b SetEmpty IfElse CanNotBeCase
c6d464d28ea4b68d2df0b37f0c272af0d3ed2cd8 SetEmpty IfElse CanNotBeCase
e2e71c0cad655f7a82571dc1025c9f7396411723 Set1InDef IfElse TypeMismatch
8c44adb4b486bc1f2d1e908b740ea8233e7bebf4 Set1InDef IfElse TypeMismatch
cc7f3490b8837d053335649f1873384d6714bcf1 Set2InDef IfElse TypeMismatch
ab325295f4fe80c00e76245fa4a526a5295d5a61 Set2InDef IfElse TypeMismatch
be97c304a142413ab1283a1f215c44288a067193 InDef0 IfElse CanNotBeCase
f8ea93bb5a29fc11b18259f1e49ec503044c27b4 InDef0 IfElse CanNotBeCase
16e53a026e5fc12fcb34673394e90d00cdb4dd3e InDef1 IfElse CanNotBeCase
0f8c8c23f8d10757d287ff1a1263517549155993 InDef1 IfElse CanNotBeCase
bd4ad05e04268efa5885079a6d2ab32846c5d392 InDef2 IfElse CanNotBeCase
79ed54b9a56e9355edb69245e2a1351480c9a117 InDef2 IfElse CanNotBeCase
d7adceb97e80b8462b6559baf6b4b2f8ff0122bb FunInDef IfElse TypeMismatch
58ba0d8e7bd373fb33333d7a8a79926560c629cb FunInDef IfElse TypeMismatch
7a9ab91aa8b7934a61d1b7afa342b2d9285cb668 ExistsInDef IfElse TypeMismatch
9e9382fbf415a9a6f39e1284d262bbca3644d26e ExistsInDef IfElse TypeMismatch
3a86047199080e7e060cd78b4184d9ce13b732da ForallInDef IfElse TypeMismatch
5ce3846f11c1b23a6ebe579d4d40de71c166e4d5 ForallInDef IfElse TypeMismatch
47278b9f5a9115e114ec5c9bcb1c945dd00f8db5 ChooseInDef IfElse TypeMismatch
d467013bdefb758a63a3926347fa5bbb330b73de ChooseInDef IfElse TypeMismatch
0f47de90f76af78571bd597e90125cc2ca3a450c TupleEmpty IfElse CanNotBeCase
6f789ebc5e11e5e884b6aa795ca5115d8279ac23 TupleEmpty IfElse CanNotBeCase
5d17ff2bed81135bd365fa25026bb0fef4db71a0 NumZero IfElse CanNotBeCase
cbe839067e0a57d7f7dd590c75c514df32724415 NumZero IfElse CanNotBeCase
55b18313c1329cdd766bb0a1b990e41f08d0ad52 NumOne IfElse CanNotBeCase
b34bb099697f729e7f792ec3ac0c4395fccaf6bc NumOne IfElse CanNotBeCase
1ca7b890c7b2768d4383457e956964daca64ded1 NumMaxInt IfElse CanNotBeCase
7b5c381d6f0fda8c009d009157c13ad139e26fbc NumMaxInt IfElse CanNotBeCase
13bb9364c4ace845de7f4291427471d2c85fb39f DefFunInDef IfElse TypeMismatch
0a6723d593e3318188363e84121c2f4d9442efee DefFunInDef IfElse TypeMismatch
e4a1c801243ee1758e3e03edd23d1114dc59dbc1 LetDefFunInDef IfElse TypeMismatch
f1ca37c3eba6dd0a2d8133fbff573ad496375f1a LetDefFunInDef IfElse TypeMismatch
a9d31f611dde24997c2fa34ab6c670d8dcb44f0f ConstantModelValue IfElse CanNotBeCase
fbb3afd8040b8c0845de693991070d322f628062 ConstantModelValue IfElse CanNotBeCase
3eedba8efe3925704f951d6a29a0af596f9acfb3 StringEmpty IfElse CanNotBeCase
187ea812f92b2cc6db79a7dfabb76b318cb1f858 StringEmpty IfElse CanNotBeCase
b47a380a881c2870027652cff1d5093320a1a41a String IfElse CanNotBeCase
72ecbd9b68dad39c92bb5ad0e2b81fbede782f4c String IfElse CanNotBeCase
b15b182f080e305db35febf24b905bcd118ea2d7 NatSet IfElse CanNotBeCase
fd85fbaba456ffc31c4e1fb7d73ad8cd05f95686 NatSet IfElse CanNotBeCase
36b96a2f722cabce6364030bf97965e072cd61f2 IntSet IfElse CanNotBeCase
8fe5773308b2bc57298cf0be18946a2185d6370f IntSet IfElse CanNotBeCase
eb2626acabdada3e5df3ca57b22632d4cacd809e StringSet IfElse CanNotBeCase
ece8f37e40d02ca79997f37e858f053d34ec2c89 StringSet IfElse CanNotBeCase
23caccfd39cb9aa3f70aec65ec2d6bde2c1ed8cb BagEmptyBag IfElse CanNotBeCase
7b59ac1991ea1c49c2e6f61b4fecbddb7a82fd31 BagEmptyBag IfElse CanNotBeCase