JetBrains-Research / HumanEval-Dafny

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

Minor fixes, implementation of 018-how_many_times #52

Closed jesyspa closed 1 week ago

jesyspa commented 1 week ago

Minor fixes to 011-string_xor, 012-longest, 020-find-closest_elements, 021-rescale_to_unit.

Stylistic change of rewriting while to for when the latter would be more idiomatic.