* Guile Potluck 2021: QuickCheck
@ 2021-03-06 15:17 Timothy Sample
2021-03-08 20:07 ` Ludovic Courtès
0 siblings, 1 reply; 2+ messages in thread
From: Timothy Sample @ 2021-03-06 15:17 UTC (permalink / raw)
To: guile-user
Hello all,
For the potluck this year, I would like to present to you
Guile-QuickCheck, which is a property-based testing library. You can
download it and see a brief example at
https://ngyro.com/software/guile-quickcheck.html
(A Guix package is forthcoming.) I wrote this library years ago, but
then realized I didn’t want it for the project I was working on at the
time [1]. It wasn’t quite ready for distribution, so I left it unloved
for a few years. I dusted it off and used it for a recent project [2],
and it works pretty well. It has rough edges and missing features, but
it’s a start! Anyway, I definitely think it is Potluck material
(thanks, Mike!). Enjoy!
-- Tim
[1] https://savannah.nongnu.org/projects/gash/
[2] https://ngyro.com/software/disarchive.html
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Guile Potluck 2021: QuickCheck
2021-03-06 15:17 Guile Potluck 2021: QuickCheck Timothy Sample
@ 2021-03-08 20:07 ` Ludovic Courtès
0 siblings, 0 replies; 2+ messages in thread
From: Ludovic Courtès @ 2021-03-08 20:07 UTC (permalink / raw)
To: guile-user
Hi Timothy,
Timothy Sample <samplet@ngyro.com> skribis:
> For the potluck this year, I would like to present to you
> Guile-QuickCheck, which is a property-based testing library. You can
> download it and see a brief example at
>
> https://ngyro.com/software/guile-quickcheck.html
Yay, nice dish that you bring, thanks! :-)
Ludo’.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-03-08 20:07 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-06 15:17 Guile Potluck 2021: QuickCheck Timothy Sample
2021-03-08 20:07 ` Ludovic Courtès
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).