Update build.gradle to Dafny 4 CLI style
#490
| Job | Run time |
|---|---|
| 27m 25s | |
| 27m 25s |
build.gradle to Dafny 4 CLI style
#490
| Job | Run time |
|---|---|
| 27m 25s | |
| 27m 25s |