[ros-dev] Place for 'proof' code

[art yerkes]

On Sat, 4 Feb 2006 11:27:30 +0100 (CET)
michael at fritscher.net wrote:

> > In the course of auditing isapnp, I wrote a test case that proves that
> > switch(a) {
> > default:
> > 	printf("foo\n");
> > 	break;
> > }
> >
> > While peculiar, cannot be the product of directly reverse engineering
> > visual C or gcc output (and likely any other compiler).
> >
> > Is there a place we want to put such apps?
> 
> Perhaps somewhere in http://www.reactos.org/wiki/index.php/Audit ?

I meant where in the tree.  It should be checked in.
-- 
Discordant is the murmur at such treading down of lovely things while
god's most lordly gift to man is decency of mind.  Call that man only
blest who has in sweet tranquility brought his life to close.
If only I could act as such, my hope is good.
-- Aeschylus' Agamemnon (translated by H. W. Smyth)