|Verification Question firstname.lastname@example.org (David) (1999-06-27)|
|Re: Verification Question email@example.com (Wolf Zimmermann) (1999-06-29)|
|Date:||27 Jun 1999 00:12:03 -0400|
|Organization:||Industrial Technology Research Institute|
|Keywords:||testing, question, comment|
Suppose we have designed a brand new compiler which can only tackle
integer data type.
My problem follows:
Is there any existing benchmarking tool or program available so that
we can verify the correctness of our compiler?
Or is there anyone who is willing to provide the strategy of verification?
[Not unless you give us some hint what language you want to compile. The
chances of finding a test suite for a language you just invented is pretty
Return to the
Search the comp.compilers archives again.