Tracking issue for benchmark review - Githubissues

JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny

Apache License 2.0

4 stars 1 forks source link

Tracking issue for benchmark review #44

Open WeetHet opened 2 weeks ago

WeetHet commented 2 weeks ago

Weak postconditions:

[ ] #43
[ ] #45
[ ] #46
[ ] #47
[ ] #48
[ ] #51

Other issues:

[ ] #49