<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>black-box testing for C or m3cgc, m3cg, m3cc, or m3cg is something we should use daily basis.<br>I know of a free testing platform for C# based on Spec# I think we could use it for static optimization (test -O2 -O3) which combines both adding reasoning to the system (knowledge management):<br>http://books.google.com.co/books?id=Am43BAC06L8C<br><br>This can be a good thing to do in later stages (code generation, etc).<br><br>Thanks in advance <br><br>--- El <b>mié, 20/6/12, Dragiša Durić <i><dragisha@m3w.org></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Dragiša Durić <dragisha@m3w.org><br>Asunto: Re: [M3devel] test driver?<br>Para: "Hendrik Boom" <hendrik@topoi.pooq.com><br>CC: "m3devel" <m3devel@elegosoft.com><br>Fecha: miércoles, 20 de
 junio, 2012 06:26<br><br><div class="plainMail">cm3/m3-libs/libm3/tests<br><br>And under.<br><br>AFAIK, there is continuous building/testing configured for cm3. Search for Hudson, Modula-3…<br><br>On Jun 20, 2012, at 1:17 PM, Hendrik Boom wrote:<br><br>> Is there a test suite driver somewhere in the Modula 3 ecosystem?<br>> <br>> I'd like to feed various files of test data into a program to see if it <br>> produces acceptable output.  Currently it's all text in and out, but I'd <br>> prefer not to have to rewrite my test suite because of trivialities, <br>> such as spelling corrections in my error messages.<br>> <br>> This is for regression testing, so automation is appreciated.<br>> <br>> -- hendrik<br>> <br><br></div></blockquote></td></tr></table>