Index

Skipped feature combinations by plug feature Def1

Id Case Feature Plug Feature Skip Reason
642d606014de7b99e31432a099ba408f81ea47b8 OneLineComment Def1 CanNotBeCase
6b414e8112aa2e1123e935841827d69d68eb6c50 OneLineComment Def1 CanNotBeCase
dcea4e78326113f348bd2d1ae08033d230d3b03b MultiLineComment Def1 CanNotBeCase
6c7b4e02cc1c3b99d731971e7cec4611f63da235 MultiLineComment Def1 CanNotBeCase
b56371d8c49d17fefa4d4bd47f13284f88bf7909 BoolTrue Def1 CanNotBeCase
dc718dfaf9552c1a73d6cc13c9c37c537b849cf2 BoolTrue Def1 CanNotBeCase
7fbf4a7b67fde8f7587739e20f0e4980661d140a BoolFalse Def1 CanNotBeCase
d2fbe624f5f0df0a9d1214269a802f49780c6b7f BoolFalse Def1 CanNotBeCase
8336b27cb0164d6cad962adb0b0cac1c4a3e332c BoolSet Def1 CanNotBeCase
e6711a9c43b62bd936b4223ef245d30fd91b058e BoolSet Def1 CanNotBeCase
06078d5b95bf44588126b5860b20aeede1a5ae32 SetEmpty Def1 CanNotBeCase
ebd9949f607979a8eb2f4a5d25aed2d3cf56237c SetEmpty Def1 CanNotBeCase
cf0d1ac46457ccb2893b1642c2efec5a548f62e2 Set1InDef Def1 TypeMismatch
727c272a87e0245e6ef0ddb75f7c85b9ca0408a7 Set1InDef Def1 TypeMismatch
d8403655d41bb4b44a9904d7147ffad2c36aad3d Set2InDef Def1 TypeMismatch
c09026acc64ca7910ce41d6e1de2e16d532f67ce Set2InDef Def1 TypeMismatch
94804d25a94934587a8a0cc09b234e541ac4e2d2 InDef0 Def1 CanNotBeCase
e8f3813de33b275811327b2385c75875f58ef7b2 InDef0 Def1 CanNotBeCase
10c0e93b693b8a895b0c68278b0b63223501aa2e InDef1 Def1 CanNotBeCase
a0fd97711e1964116c3376d5b9651aca3212f55f InDef1 Def1 CanNotBeCase
a9405286a5bc2e476af2f04e6f694b2e3f577ed4 InDef2 Def1 CanNotBeCase
a4cb54d904db20a87c7676e6a1491d3a1f25d842 InDef2 Def1 CanNotBeCase
96cd23b1cf8ccbed48cb69ea5b0b2a5074be29ad FunInDef Def1 TypeMismatch
d5e4cc9bca61da36137a9a11f150983a89ecb45b FunInDef Def1 TypeMismatch
c5667f06aa2a68c90003604e6e8e6c009b4b0c67 ExistsInDef Def1 TypeMismatch
a9d8478c84f60a0a68a895e5b393367ffa6e05ef ExistsInDef Def1 TypeMismatch
e8d8eaa4a54b33795eba4ec1be3e1d5b1b564c57 ForallInDef Def1 TypeMismatch
3ebc233d9a8a594a93cb80eb02466c76c07e858a ForallInDef Def1 TypeMismatch
4b5089de41d943a5d2a86c9216713a60c39a0a3b ChooseInDef Def1 TypeMismatch
c66480d5ed53fce414f470823c69a92ffa233720 ChooseInDef Def1 TypeMismatch
78b5fe6ad5f37d21fc45e48d48b65b0b651690bb TupleEmpty Def1 CanNotBeCase
2c9bd78e1d39070283dedb2c714100f5b70420ea TupleEmpty Def1 CanNotBeCase
26e8b5c28016101e83f71fd0fdea6b328e4113a1 NumZero Def1 CanNotBeCase
463bcebc168917efcd8b77bd89ad27ce183a4dd7 NumZero Def1 CanNotBeCase
651d01647f0b2b0a0e3905f45219a1c23ce09372 NumOne Def1 CanNotBeCase
1b2812d4ca8187f848d8d2361e430357abb97fa4 NumOne Def1 CanNotBeCase
4786a851af147e48f063075d63bee3cc51d9ce8f NumMaxInt Def1 CanNotBeCase
4dcfdb0a48428fa65427485d4125abdb1bafdbbe NumMaxInt Def1 CanNotBeCase
8f3e18025a0c524aca073d8830e93acc86ec08d1 DefFunInDef Def1 TypeMismatch
3da7ab4aa5dc20c14793f53764df64f87a388792 DefFunInDef Def1 TypeMismatch
5975c5ae74c7fc2390d122eb10fce0d932834b87 LetDefFunInDef Def1 TypeMismatch
216373d9820dbb5684e724b5cfe0ca8fd0875088 LetDefFunInDef Def1 TypeMismatch
2fb16604bccfafb1d2e995eba2c0c7c241698026 ConstantModelValue Def1 CanNotBeCase
4e1607ab1935b3b420df09614f2e6e94e50771a3 ConstantModelValue Def1 CanNotBeCase
4180221b17afa422cb6c4f75b34709a6ed96f7a5 StringEmpty Def1 CanNotBeCase
aa95d0278aed426a3f008ebd3a6710d059602ada StringEmpty Def1 CanNotBeCase
c929c6a65428d82acdb070f89c7fd364e8fff8a7 String Def1 CanNotBeCase
a018cf9309c93a70fe19ccfbf706057da40e2430 String Def1 CanNotBeCase
dda03d6bcb132a0f5383476b503f29a299ad8558 NatSet Def1 CanNotBeCase
4b81f0a07ca0c3746e463ce8ebc2a848218ae1d3 NatSet Def1 CanNotBeCase
dd887f84881b4fa498d16648a8f3daeeb163e8a7 IntSet Def1 CanNotBeCase
c0db7ff1543a741a7f9bc58333e27f99a5d6f8ab IntSet Def1 CanNotBeCase
ca9aedc772e01d8c758f2f3f46980e45cc4fa4c6 StringSet Def1 CanNotBeCase
330b979ae0f42600e58774823c73b9cf8671ad77 StringSet Def1 CanNotBeCase
6edba1bb23d0aecf9f9ae49d81773dba45febbb7 BagEmptyBag Def1 CanNotBeCase
f39ab6b33b9b0f895eb22bf911ea5b2862800360 BagEmptyBag Def1 CanNotBeCase