dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Turn on more logging for `ProjectFileDoesNotOwnAllSourceFilesItUses`

Open keyboardDrummer opened this issue 1 month ago • 0 comments

This PR attempts to help debug a flaky test: https://github.com/dafny-lang/dafny/issues/5420

Description

  • Improve logging for Compilation
  • Turn on more logging for ProjectFileDoesNotOwnAllSourceFilesItUses

How has this been tested?

Not

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

keyboardDrummer avatar May 15 '24 10:05 keyboardDrummer