Fearlessly write both cheap and expensive runtime tests (contracts) for Rust functions.
0
stars
0
forks
source link
Fix "Failing postcondition:" message saying __live_prop_test_old_value_0 instead of the original old-expression #18
Open
elidupree opened 2 years ago