search

microsoft / Armada

Armada is a tool for writing, and proving correct, high-performance concurrent programs.
Other
137 stars 19 forks source link

remove check for multiple return arguments #30

Closed LukeXuan closed 3 years ago

LukeXuan commented 3 years ago

This pull request fixes issue #28.

jaylorch commented 3 years ago

Looks good to me.