Index

Skipped feature combinations by plug feature Constant

Id Case Feature Plug Feature Skip Reason
d0adde9596fa67a95afec4af89e5d898b8bc2cab OneLineComment Constant CanNotBeCase
ccd5dc6b1fbb9248fce0d73990a3c4dd497b7b30 OneLineComment Constant CanNotBeCase
dda7298f48aea330ab9074d59e5e2c41da57738c MultiLineComment Constant CanNotBeCase
3640b0c9438a53aa6c0253e0cc20003303e54ea8 MultiLineComment Constant CanNotBeCase
b661ef1a97b62ebcc51298f99d138020e05ea778 BoolTrue Constant CanNotBeCase
952775288d2a840e18e63c999d80c44a336d06f6 BoolTrue Constant CanNotBeCase
528f8aa5ff078b6389477422ab2c8bf4f62ea7dc BoolFalse Constant CanNotBeCase
778411fee77ca3bc5289b35184b726162d3676f3 BoolFalse Constant CanNotBeCase
5e8f4aca4f59271997def1ebe58be72c97601909 BoolSet Constant CanNotBeCase
c99259ae068c99cd2891587361d495f12dd0e745 BoolSet Constant CanNotBeCase
06f76e4f91db52e67925e80c149b094cee09cbfd AndProp Constant KindMismatch
5864564f94094575bf2d11c70592d005533da7dd AndProp Constant KindMismatch
5e9a7deb321d7b3f0ed392ed047bdd3ac47ad32c SetEmpty Constant CanNotBeCase
c421c0882bd7d9d0ab5d704ec04d9b706383bf0a SetEmpty Constant CanNotBeCase
086077c92d63fc127f2b2806d0f0fa05ac76f5d7 Set1InDef Constant TypeMismatch
6e630ac8a3f2c451f5c6e63dcff1a3bc184c5b30 Set1InDef Constant TypeMismatch
35a489702b51185f7141f3d681921fc1d7821848 Set2InDef Constant TypeMismatch
61460a8b1b56c25e3e65acd955e5185f6e2085fd Set2InDef Constant TypeMismatch
a4cb1ef310bf6de8ce9404b35bbcad141e10ac7b InDef0 Constant KindMismatch
d70a0406e4f78e0997c9d40c36ff1112f6d92a8b InDef0 Constant KindMismatch
ba5e31a5568351079832e1b37feaa47b74360f24 InDef1 Constant KindMismatch
a18af1df1cbac111ae0b7f4c4483a2b99f630713 InDef1 Constant KindMismatch
39c9f1ef0113795769f8e2c002d77823b6be1fbc InDef2 Constant KindMismatch
f8b7eb0eef1e7e4624fb4544ee92db8dbc5959b1 InDef2 Constant KindMismatch
68926a2ba4a25b0771e05d2fd0a315398be937e7 FunInDef Constant TypeMismatch
66f2da6215573b28828599915f6f7dac6a470aea FunInDef Constant TypeMismatch
4e170b4bba9131d394781b40872e1c9c256d47c6 ExistsInDef Constant TypeMismatch
5a0a70a235a7cf95d26fe7b4b78f3d5c6ca14716 ExistsInDef Constant TypeMismatch
eadd145fb8a538846e7877036be1c63ef921ea03 ForallInDef Constant TypeMismatch
bfcba76b93f9d5dee4dd6e0fc4926e266c340ffc ForallInDef Constant TypeMismatch
ceb0801406ee577d9aa19ca8af75d289ee93959a ChooseInDef Constant TypeMismatch
4a81d270a391b16f45c3d3a6e440fb34c23d04f7 ChooseInDef Constant TypeMismatch
deada47fc1b5614ba7754f099d53c56ffcf67023 TupleEmpty Constant CanNotBeCase
8fa328c3e1bb0c7a50b357f70e56d3d7d0c09d84 TupleEmpty Constant CanNotBeCase
75c63cccc9fe6c613b208b53ad8b4008b2fd94ac NumZero Constant CanNotBeCase
7811f3218d644d6c4f853f4bff071f2f3ea538f5 NumZero Constant CanNotBeCase
aea2751dbf62a979bc563b6bc4629d68672a232c NumOne Constant CanNotBeCase
b5013f03af1cdd69e3b6bf2b05e8449225c4e380 NumOne Constant CanNotBeCase
cbb40cbdbfb6b9adafab91779c3ee9c5c2901ba4 NumMaxInt Constant CanNotBeCase
f79f6de94ecee1970da36786592624840fd58c01 NumMaxInt Constant CanNotBeCase
4b559ac971d413ab094f986704612e123c3294f7 DefFunInDef Constant TypeMismatch
2582a4ee957b581dc4f005f5e55222caf8d055b0 DefFunInDef Constant TypeMismatch
90b29e2fe8b07dd14e20c895e01d6f46f54bcba6 LetDefFunInDef Constant TypeMismatch
c39170c460636d61758c1e6e85b2af077fa196ed LetDefFunInDef Constant TypeMismatch
922ddba5f9a518c3b4d3249bdc96c7f20e76d503 Variable Constant KindMismatch
fdac06b877a340f8b623a65c38f450e66fc94972 Variable Constant KindMismatch
f34883d8a7eaf1fa21e0959c73eaf6688d791710 VariableViewExclude Constant KindMismatch
de39bdb58591cd1f1ea4808012fb7e80b2c7c530 VariableViewExclude Constant KindMismatch
0b9fd0b7068932c64194fe4be84e94659f40589c ConstantModelValue Constant CanNotBeCase
5e6c8337b3214665a13f0c0bec895d190a567f32 ConstantModelValue Constant CanNotBeCase
a3bd533f62b0c3707fa3d1c2fe77a7d308cc6ed7 Unchanged Constant KindMismatch
907088f84c87b8414e079db375b61920889105c3 Unchanged Constant KindMismatch
8b4247654237ab185e539467c1ba1249ba353ff2 StringEmpty Constant CanNotBeCase
78be876e2e5fa9bee8426ba6461ea98e2d548e38 StringEmpty Constant CanNotBeCase
aba0e74eb897912e0bf5a68bd6a7f3f26d2e3424 String Constant CanNotBeCase
acbe051a3515fffb87d3fa2d36740144ae348e5c String Constant CanNotBeCase
e886fb3fbd40fbb48893371210c7276cbc823e8e NatSet Constant CanNotBeCase
45ce68cfb864712fa5555adeed788524e1bf1833 NatSet Constant CanNotBeCase
9bf938b3bc8107e2b617c8ea0d279a6f47435ba0 IntSet Constant CanNotBeCase
2a40afb4330daa3b00d776e0ed59668c3a12b213 IntSet Constant CanNotBeCase
807d86237688d95d8a482a535ae5148b9d578c7b StringSet Constant CanNotBeCase
3cd1eb97d277d638d1d7c9ae2d58f3eeb106456f StringSet Constant CanNotBeCase
816d5513f1455bf85473c6f60364cef733147582 BagEmptyBag Constant CanNotBeCase
4c713afc003b11cca95e46d3c9131353b366b490 BagEmptyBag Constant CanNotBeCase