issues
search
epfl-lara
/
rust-stainless
An experimental Rust frontend for Stainless
Apache License 2.0
6
stars
2
forks
source link
Fix post macro crash on parameterless functions
#134
Closed
yannbolliger
closed
3 years ago
yannbolliger
commented
3 years ago
Closes #132.
Add test for post spec on fn without params.
Fix bug.
Closes #132.