dafny-lang / dafny

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

Remove error message `file contains no code` #5899

Closed Ao-senXiong closed 2 weeks ago

Ao-senXiong commented 2 weeks ago

Description

Fixes #3090

How has this been tested?

Remove all related tests and error message

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