[ros-dev] Place for 'proof' code

[michael at fritscher.net]

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