Remove predicates, ensure each file has at least one method #23
Annotations
1 error
|
Run Dafny on all files
Process completed with exit code 1.
|
Loading