Giters

nrc / libhoare

Design by contract style assertions for Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Allow custom error messages

nrc opened this issue · comments

commented

Just like assertions. Not sure what the syntax should look like.