git-issue-5637.dfy(1,0): Warning: File contains no code
  |
1 | // RUN: %translate cs --include-test-runner --allow-warnings %s > "%t"
  | ^


Dafny program verifier finished with 0 verified, 0 errors
