Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update testing documentation (#5504)
### Description Fixes a broken link in our testing documentation. <!-- Is this a user-visible change? Remember to update RELEASE_NOTES.md --> <!-- Is this a bug fix for an issue visible in the latest release? Mention this in the PR details and ensure a patch release is considered --> ### How has this been tested? [Can be tested here ](https://github.com/dafny-lang/dafny/blob/5c292792e4da0d59cadf6bbef034d2577ef6f4ea/Source/IntegrationTests/README.md) <!-- Tests can be added to `Source/IntegrationTests/TestFiles/LitTests/LitTest/` or to `Source/*.Test/…` and run with `dotnet test` --> <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
- Loading branch information