Index

Skipped feature combinations by plug feature Let

Id Case Feature Plug Feature Skip Reason
d6a7d7cb36005c4bb0d52aa818d88a4ae2442346 OneLineComment Let CanNotBeCase
3b8acc47416d525d6ef063a477cf18b7429ef08e OneLineComment Let CanNotBeCase
a59aeceb0800b6b027160c1fb9daab94df84f6b5 MultiLineComment Let CanNotBeCase
810a5d27ce670e5f1065927f0760db40c8915ba5 MultiLineComment Let CanNotBeCase
c967886df6672a221090b8803acf75b752af0331 BoolTrue Let CanNotBeCase
0c54b218340e27927a01afdbfdfdf3417e8aca19 BoolTrue Let CanNotBeCase
9a5db43bee392bc5a0597da4dac942b663ed71f7 BoolFalse Let CanNotBeCase
e2169b21b2e6dc2467358e931e6986437e96905a BoolFalse Let CanNotBeCase
1453883fef068cd975d56e1a38b713ebfd28d1d4 BoolSet Let CanNotBeCase
5a50a29cbc47c8bbc71da19ecc9c7ee0daa692e8 BoolSet Let CanNotBeCase
c690d72c37e3617875094b188cec74b78615c182 SetEmpty Let CanNotBeCase
77d29cdcbe2067fb77de13eca7a6e349c9f2efff SetEmpty Let CanNotBeCase
631b531e71f3b03f6710178ee442241f37b43b48 Set1InDef Let TypeMismatch
62342c3de4f3c7d9d6f79258c070519407c3c19f Set1InDef Let TypeMismatch
59acafc13646c35e7c930e84fa7934b11c592924 Set2InDef Let TypeMismatch
fdffbffbf46348c8a150910a525716c19be4a7be Set2InDef Let TypeMismatch
cdd1fed81099b9daf1a3319bffbe5758806aaa1c InDef0 Let CanNotBeCase
f9a9341871ae97e477a256e67fa998b541e5cc58 InDef0 Let CanNotBeCase
8ae3ed71523d38457887a0ce2c5c46d8587275f5 InDef1 Let CanNotBeCase
79e381502f6b20a0451c103e9a4bf5aeffccab04 InDef1 Let CanNotBeCase
579feafd208ec1c6c2dcd4ec381f737dfea1300e InDef2 Let CanNotBeCase
8cac27bcdd1c4503e42fecfba162e0c158aad94a InDef2 Let CanNotBeCase
f5859ad9961160f7e1cf51fd2a8c33bc6911e781 FunInDef Let TypeMismatch
15e5981fac913703086c1bfd6a1d068498ebd560 FunInDef Let TypeMismatch
edde3cd542b1b117b4c4a8bc40de3f91555ae576 ExistsInDef Let TypeMismatch
fbd378c0002ef930a15c6b4b749b8e7f6f4aecd3 ExistsInDef Let TypeMismatch
1e8e73f36f29b76193087754ba7470952b64e15b ForallInDef Let TypeMismatch
6cc4b1f00edf66cabc90e7090bf289a827de39a7 ForallInDef Let TypeMismatch
acc86461f8f263a81fad23e850793dbb8be7ae9a ChooseInDef Let TypeMismatch
63e2bf0acea1fe6848c92470a4d6fce045814cf6 ChooseInDef Let TypeMismatch
81860c4a7da153d531571f4f253b772f21a03b38 TupleEmpty Let CanNotBeCase
558936ca10e9113d54633918cd7204b8f17a8408 TupleEmpty Let CanNotBeCase
34b253c0b8b71f26e0d978a2e143c835ee50575b NumZero Let CanNotBeCase
c9ceb6a3c0e27e16674bad601e48a6eb0405fd4f NumZero Let CanNotBeCase
4ab891c148010c2af975248a5061117c16e619ea NumOne Let CanNotBeCase
2eb66d163beb3bb706031b4810f3edb50e8909bd NumOne Let CanNotBeCase
b8d55f8bd12f1c1999798ee6708f7925598da164 NumMaxInt Let CanNotBeCase
fe8bcc64a4baa6993f8a691501b40c355b8fcb4e NumMaxInt Let CanNotBeCase
a16b0d22a7e9b8916a98dbc0fdeb48a90a57d1a0 DefFunInDef Let TypeMismatch
bcaef1a385597f1c5a19c16db1e02f6d641f7a50 DefFunInDef Let TypeMismatch
d278e9804222f61fd2475f05dd9cc2a172e65b72 LetDefFunInDef Let TypeMismatch
b4fe8d528e6c892970a7ffbcac9b1afd4b92d299 LetDefFunInDef Let TypeMismatch
8acb59c7ed4051b61e0e646b3ab019d1d5850df6 ConstantModelValue Let CanNotBeCase
f5452010bc0e9b180b65f549bbbc263f0d8f3265 ConstantModelValue Let CanNotBeCase
7321cb886b5cf08826db42f55be91263ba1dc224 StringEmpty Let CanNotBeCase
ec9971bc4455d9c2af4c37874d63e7a8bb844b86 StringEmpty Let CanNotBeCase
b92c7a3db14f98ecdc030f9194d89b1d23c815fb String Let CanNotBeCase
694cec7304bab4bdda2163908e946d9bcec5f574 String Let CanNotBeCase
87d563b4dc67628258ed277e7f1fa71ba7d6c2f0 NatSet Let CanNotBeCase
561163fae444a9039f3761f880164dbe28bff806 NatSet Let CanNotBeCase
fe5478a2608cb82928e5a0c5c4eb3c0bbe0e8fa5 IntSet Let CanNotBeCase
843e88c72a33284eab64d5e088c3f099ff53f268 IntSet Let CanNotBeCase
6bd36b169dd7e26ca6e59bafadff17c37d392f08 StringSet Let CanNotBeCase
a4aa8d6323bbdd3022070943f4d1c6bfd262ce65 StringSet Let CanNotBeCase
1abc3e7ef40549d23e0283a6cd86d7de952ef964 BagEmptyBag Let CanNotBeCase
a31f27485374510b07c5f9115e29847f527e1424 BagEmptyBag Let CanNotBeCase