Make a run config for a Java Application that starts tools.QuickCheck. Let the main args point to your tests.
Cheers Dierk sent from:mobile > Am 04.10.2016 um 16:43 schrieb Russel Winder <rus...@winder.org.uk>: > > Hi, > > Is there a paragraph somewhere about setting up a run configuration in > FregIDE for executing QuickCheck tests. I found the one for running > code (after being embarrassed in a previous email thread :-) but > (unless I am just being blinded by worry) I can't see the data needed > for a testing configuration. > > -- > Russel. > ============================================================================= > Dr Russel Winder t: +44 20 7585 2200 voip: sip:russel.win...@ekiga.net > 41 Buckmaster Road m: +44 7770 465 077 xmpp: rus...@winder.org.uk > London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder > > -- > You received this message because you are subscribed to the Google Groups > "Frege Programming Language" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to frege-programming-language+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
