You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, prove_quickcheck_main dumps the counterexample property. Ideally, for fast interactive testing, it should dump a test suitable for interpreter_main, i.e.
#![quickcheck]
fn prop_A(x) -> bool { f(x) }
should (if one exists) dump a test using a counterexample
The text was updated successfully, but these errors were encountered:
proppy
added
enhancement
New feature or request
dslx
DSLX (domain specific language) implementation / front-end
ux
User experience (end-user invoking XLS and its related tools)
and removed
dslx
DSLX (domain specific language) implementation / front-end
labels
May 24, 2024
Right now, prove_quickcheck_main dumps the counterexample property. Ideally, for fast interactive testing, it should dump a test suitable for interpreter_main, i.e.
should (if one exists) dump a test using a counterexample
The text was updated successfully, but these errors were encountered: