feat: Compute matching patterns for automatic induction #18637
Annotations
2 warnings
|
Build Dafny:
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
|
|
Build Dafny:
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
|
Loading