search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

fix: Avoid stack overflow in Unicode with function-by-method #123

Closed MikaelMayer closed 1 year ago

MikaelMayer commented 1 year ago

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

atomb commented 1 year ago

It looks like there's a CI formatting failure and a missing RUN line on your new test.

robin-aws commented 1 year ago

It looks like there's a CI formatting failure and a missing RUN line on your new test.

Yup, that's what I was working on fixing. :)