search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.94k stars 261 forks source link

Handle native string correctly with `SeqWithoutIsStrInference` for python code generation #5890

Closed Ao-senXiong closed 2 weeks ago

Ao-senXiong commented 3 weeks ago

Description

Fixes #5184

How has this been tested?

Tested with original test case in the issue.

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