view run/do_while_01.d @ 1603:2031b04871b3

Fix broken invariant + synchronized test. Synchronized is not a valid function attribute for structs!
author Christian Kamm <kamm incasoftware de>
date Sat, 28 Mar 2009 19:17:32 +0100
parents f87ba6507260
children
line wrap: on
line source

// $HeadURL$
// $Date$
// $Author$

module dstress.run.do_while_01;

int main(){
	int test=10;
	assert(test==10);
	do{
		test--;
	}while(test>0)
	assert(test==0);
	return 0;
}