yannickmoy
Results
1
issues of
yannickmoy
On the code below, Dafny extension for VSCode proposes a fix to insert the decreases es,unit on method OptimizeAndFilter, but it inserts it between List and instead of after List....
Type: Bug
Affects: Server