JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny
Apache License 2.0
4 stars 1 forks source link

010-is_palindrome does not test palindrome minimality #47

Open jesyspa opened 1 week ago

jesyspa commented 1 week ago

The task requires that make_palindrome return the smallest palindrome starting with the string, but only guarantees that the returned string is some palindrome starting with the string.

I am not sure whether this is worth fixing, I expect it to be quite a bit more complicated than what we do now.