feat: Compute matching patterns for automatic induction #18491
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