Re: [ros-dev] Place for 'proof' code

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