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