Place for 'proof' code

[art yerkes]

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?
-- 
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)

>   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 ?

[art yerkes]

On Sat, 4 Feb 2006 11:27:30 +0100 (CET)
michael(a)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)