104-unique_digits - Githubissues

JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny

Apache License 2.0

4 stars 1 forks source link

Closed alex28sh closed 1 month ago

alex28sh commented 1 month ago

predicate HasNoEvenDigit(n: int)
  decreases n
{
  n >= 0 && (n < 10 || (n % 10 % 2 != 0 && HasNoEvenDigit(n / 10)))
}

is wrong and need to be rewritten