cool wasn't aware of Xsmith! Surprised to find RACR backing it - I looked at its source a while back for some attribute grammar magic - ended up not doing anything though - was it lack of docs - can't recall. IIRC it has some true scheme magic in there.
Academics often suck at marketing ;) For those who, like me, were interested but failed to navigate to relevant bits: - Xsmith docs: https://docs.racket-lang.org/xsmith/index.html - Xsmith src: https://gitlab.flux.utah.edu/xsmith/xsmith - RACR docs: https://github.com/christoff-buerger/racr/blob/master/racr/documentation/contents.md - RACR src: https://github.com/christoff-buerger/racr On Thursday, 6 June 2019 21:41:21 UTC+1, Eric Eide wrote: > > Ryan Kramer <defaul...@gmail.com <javascript:>> writes: > > > Does Racket have any grammar-based fuzzing utilities? > > You might be interested in Xsmith. Version 1.0 will be released > imminently, > like within the next week. I'll send another email when it's released. > > Stay tuned! > > -- > ------------------------------------------------------------------------------- > > > Eric Eide <ee...@cs.utah.edu <javascript:>> . University of Utah > School of Computing > http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) > 581-5843 FAX > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/f46560e1-2f64-499f-96a1-c4ac0e465a1b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.