Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix "assertion batch" anchor (#5096)
### Description This is a fix for the broken "assertion batch" anchor -- an example use of it is below: ![assertion-batch-link](https://github.com/dafny-lang/dafny/assets/12002672/e34d1c7e-e5d9-4314-806e-41e3294f0a1e) The anchor was originally `#sec-verification-attributes-on-assert-statements` which currently doesn't exist. The closest existing anchor appears to be [`#sec-verification-attributes-on-assertions`](https://dafny.org/dafny/DafnyRef/DafnyRef#sec-verification-attributes-on-assertions) but I think linking to the section for the anchor [`#sec-assertion-batches`](https://dafny.org/dafny/DafnyRef/DafnyRef#sec-assertion-batches) is better since that section introduces the _assertion batch_ concept. ### How has this been tested? I have not compiled the Dafny VSCode extension locally, but this PR changes tests and the CI should be green. ---- <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