Index

Skipped feature combinations by plug feature IfThen

Id Case Feature Plug Feature Skip Reason
02471d5d797c9963a7ea9c57e5f5ebe98a4febbf OneLineComment IfThen CanNotBeCase
ffc1453d894fb031cbf2ae960ba8ea219b9b2f12 OneLineComment IfThen CanNotBeCase
24779a9aa80ad415aad0e919afa3ed9421122485 MultiLineComment IfThen CanNotBeCase
0d048c4a67d7c2068f7f24b6e6f2e8766525f5ff MultiLineComment IfThen CanNotBeCase
e47b10aa9bf21b4cba132ebb5ae4fd488d3e8423 BoolTrue IfThen CanNotBeCase
b60bab6397c9de80bbac38c342e1c4e886f05b3e BoolTrue IfThen CanNotBeCase
5cf87f7eecc1c3cc16b0673033a7749168766fe3 BoolFalse IfThen CanNotBeCase
31a404b7b3a589519c2928877c63ac8559e59216 BoolFalse IfThen CanNotBeCase
9e99b040587ece6c642ae4c59e00927b1db3cbdb BoolSet IfThen CanNotBeCase
0ef9700308da95d2ec84b51466d410d9a7bd9911 BoolSet IfThen CanNotBeCase
6708e3ba75897e1d6a5556d238d0c6bf5796a62e SetEmpty IfThen CanNotBeCase
752835e26515decd6fb8be1862a1dbe0c6193eb4 SetEmpty IfThen CanNotBeCase
8f6eb9c2bb9b787ef867c5ccec27619793f98870 Set1InDef IfThen TypeMismatch
c557115afdfae1ebf592a4ae6f624c6d998ed9f4 Set1InDef IfThen TypeMismatch
981f82b3025b75828c7de60632e421239be24123 Set2InDef IfThen TypeMismatch
d822476750c6529db6bfebaab732bd35398aed2c Set2InDef IfThen TypeMismatch
dd3ec591ac9ba4be912be8c6bcb109780a28768c InDef0 IfThen CanNotBeCase
470ecc74c5e9878dd620f2304423dfc9623640ed InDef0 IfThen CanNotBeCase
455b8aacc0470124cb7bcf2636755b3d77986acb InDef1 IfThen CanNotBeCase
1951fb53ed0a084a907478c60e4a98fa1701ca48 InDef1 IfThen CanNotBeCase
238d4e6b6d3ec6dd6b82989fdb722273f3d582fb InDef2 IfThen CanNotBeCase
3db6ef3de42fc2783433f28a6dc424ee3e4b84b5 InDef2 IfThen CanNotBeCase
c59523b58af23c613af3875c0e23f9a3c20ac5e7 FunInDef IfThen TypeMismatch
0abdf9e16f0b6702701e9103e882da5a4d8658b3 FunInDef IfThen TypeMismatch
66a28b5156fa2d35088a5c1f5a17f4627dada379 ExistsInDef IfThen TypeMismatch
18ab6bb89a1d25b98a55ea01ad090027a135cdf3 ExistsInDef IfThen TypeMismatch
754e08e5b641e9136e3b339f92927b177255a927 ForallInDef IfThen TypeMismatch
6757c5ba89d618dfb03c112bd6a16cf66d8fe5e3 ForallInDef IfThen TypeMismatch
0110f36ce53a6c1dd6852dcb027ba6ad27efd78b ChooseInDef IfThen TypeMismatch
bf7347d5063f6097f3246ff5a3e6071bccd271e7 ChooseInDef IfThen TypeMismatch
de127ce9c038190110a3dbb7914c1bd7dffca9f5 TupleEmpty IfThen CanNotBeCase
d75bd5fc3bfd9eb76a2138f7b7a55a2819acc7b1 TupleEmpty IfThen CanNotBeCase
bc7ce2c922ce3317da4127e2e6993493dfc1d627 NumZero IfThen CanNotBeCase
205b650888ae2a02ce0545a5f04768f3154a7f4d NumZero IfThen CanNotBeCase
8cc59d556f41eae06e3a69f9be85023e387356ec NumOne IfThen CanNotBeCase
b78086d445c224c52de9af567faa4ef15a1a4e4a NumOne IfThen CanNotBeCase
9353d62790383f1869f258b74b2dd445adeeca28 NumMaxInt IfThen CanNotBeCase
a97a66b0dadb41c47bc28df8cad5595bd1fbc8a1 NumMaxInt IfThen CanNotBeCase
d0de4ac6a2d6e5b18e93c627bd4c13afea48960d DefFunInDef IfThen TypeMismatch
d7f5b0e48984a30ca0de7d83b082056968044654 DefFunInDef IfThen TypeMismatch
b44c26bafa89cb2db3ef575efd46c49f1547a470 LetDefFunInDef IfThen TypeMismatch
1935cf6acda7979b444ebc90b21b41e8a8a1653e LetDefFunInDef IfThen TypeMismatch
75c21973213d6fa89af95e25593e936f91b4fe4a ConstantModelValue IfThen CanNotBeCase
746a4f48fd846dfb96cbf804ab65d028b652f60f ConstantModelValue IfThen CanNotBeCase
91b87f9ad160d6ed095808965fe1b0b6afde3c22 StringEmpty IfThen CanNotBeCase
235dff75c00fd432e4414c1b41b4c50775c70e7f StringEmpty IfThen CanNotBeCase
05687f600d1e2359b715021767b191db11533be3 String IfThen CanNotBeCase
06d6af1f91eb0afb3492d4633534e241d63fe2fa String IfThen CanNotBeCase
b082e67d40290dff0d23cf57b63f89ee12c8bb34 NatSet IfThen CanNotBeCase
e186d38b488d4f7ba6ae6b759ec9c95a0b5d0251 NatSet IfThen CanNotBeCase
687a6879ad6c7c076f719c30a20de02ecac7a31e IntSet IfThen CanNotBeCase
620100d3078a273a4c0e539b9f0948f5ce524438 IntSet IfThen CanNotBeCase
d1074a85924ece94bf3fe5e142a64b7f545b4342 StringSet IfThen CanNotBeCase
06ac462cafbb4f0ad0bc3b8b4e2a39f9f312309b StringSet IfThen CanNotBeCase
ee5a10e8e0529e89f447bef76e06b475824507d0 BagEmptyBag IfThen CanNotBeCase
11dea954a1e2738feec7379b00c14ad1b7963d34 BagEmptyBag IfThen CanNotBeCase