runtimeverification / quiz

A randomized property testing library for Hoon.
7 stars 1 forks source link

Have the library return counterexamples, not print them #5

Closed hjorthjort closed 10 months ago

hjorthjort commented 1 year ago

Don't print output, return it (as a unit), or optionally write it to file or something. File writing could happen in the test wrapper described in #3.

The problem is that with very large samples, like (bex (bex 30)), printing will never terminate. Better to learn that there was a failure and maybe at what size or something. Or optionally print in a way that will replace very large values with ....