[M3devel] test driver?

[Daniel Alejandro Benavides D.]

Hi all:
black-box testing for C or m3cgc, m3cg, m3cc, or m3cg is something we should use daily basis.
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):
http://books.google.com.co/books?id=Am43BAC06L8C

This can be a good thing to do in later stages (code generation, etc).

Thanks in advance 

--- El mié, 20/6/12, Dragiša Durić <dragisha at m3w.org> escribió:

De: Dragiša Durić <dragisha at m3w.org>
Asunto: Re: [M3devel] test driver?
Para: "Hendrik Boom" <hendrik at topoi.pooq.com>
CC: "m3devel" <m3devel at elegosoft.com>
Fecha: miércoles, 20 de junio, 2012 06:26

cm3/m3-libs/libm3/tests

And under.

AFAIK, there is continuous building/testing configured for cm3. Search for Hudson, Modula-3…

On Jun 20, 2012, at 1:17 PM, Hendrik Boom wrote:

> Is there a test suite driver somewhere in the Modula 3 ecosystem?
> 
> I'd like to feed various files of test data into a program to see if it 
> produces acceptable output.  Currently it's all text in and out, but I'd 
> prefer not to have to rewrite my test suite because of trivialities, 
> such as spelling corrections in my error messages.
> 
> This is for regression testing, so automation is appreciated.
> 
> -- hendrik
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120620/93f10815/attachment-0002.html>