elidupree live-prop-test issues

elidupree / live-prop-test

Fearlessly write both cheap and expensive runtime tests (contracts) for Rust functions.

Apache License 2.0

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix "Failing postcondition:" message saying __live_prop_test_old_value_0 instead of the original old-expression

#18 elidupree opened 2 years ago
0
Fix suggested regression test saying `let self =`

#17 elidupree opened 2 years ago
0
Allow specifying which crates (module paths?) to run tests for in initialization?

#16 elidupree opened 2 years ago
0
Don't show suggested regression test if the failure was the exact same regression test?

#15 elidupree opened 2 years ago
0
Fix live-prop-test not working in release mode

#14 elidupree opened 3 years ago
0
Make a special-case error message for accidentally writing assignment (`=`) instead of equality (`==`) in condition expressions

#13 elidupree closed 3 years ago
0
Have tested traits provide some convenience for always testing, even if the impl didn't use_trait_tests?

#12 elidupree opened 4 years ago
1
Be stricter about throttling expensive tests on recursive functions

#11 elidupree opened 4 years ago
1
Do something special when a precondition failure occurs inside an outer tested function?

#10 elidupree opened 4 years ago
1
Make suggested regression test function names unique?

#9 elidupree opened 4 years ago
1
Improve failure messages for simple condition expressions

#8 elidupree opened 4 years ago
0
Represent arguments better

#7 elidupree opened 4 years ago
3
On errors, apply shrinking if possible

#6 elidupree opened 4 years ago
2
Make output messages (regression tests) properly include trait/struct for methods in impls

#5 elidupree opened 4 years ago
0
Make struct invariants

#4 elidupree opened 4 years ago
0
Make a super convenient feature to apply `proptest` tests to a tested function?

#3 elidupree opened 4 years ago
0
Allow configuring individual tests to run in release mode

#2 elidupree opened 4 years ago
0
Allow configuring individual tests to not be throttled

#1 elidupree opened 4 years ago
0