feat: Compute matching patterns for automatic induction #10310
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
doctests
17m 21s
Annotations
2 warnings
doctests:
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L177
Dereference of a possibly null reference.
|
doctests:
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L177
Dereference of a possibly null reference.
|