Fix 5724 compile suffix main arguments #10562
Triggered via pull request
November 12, 2024 15:40
Status
Success
Total duration
17m 52s
Artifacts
–
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
doctests
17m 29s
Annotations
2 warnings
doctests:
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
|
doctests:
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
|