I think you may want to call apply-reduction-relation* with a #:stop-when argument instead?
Robby On Fri, Dec 18, 2015 at 5:33 AM, Anton Podkopaev <[email protected]> wrote: > Hello, colleagues! > > Is there any way to get a term trace from successful test-->>E in Redex? > > BR, > Anton Podkopaev, PhD student, SPbSU > > -- > 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 [email protected]. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
