JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny
Apache License 2.0
4 stars 1 forks source link

Make all asserts one-liners (easier to strip when neccesary) #32

Closed gt22 closed 1 month ago

gt22 commented 1 month ago

Make all assets fit wtihin a single line, so that they can be easily stripped while leaving the syntax correct.

WeetHet commented 1 month ago

As was discussed during the meeting