34, 37, increase limit to 2400s for now (so 37 verifies) - Githubissues

JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny

Apache License 2.0

4 stars 1 forks source link

34, 37, increase limit to 2400s for now (so 37 verifies) #18

Closed WeetHet closed 1 month ago