Mercurial > projects > dstress

view run/bit_03.d @ 1:3414705c41ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed CVS header
author thomask
date Sun, 26 Sep 2004 12:06:09 +0000
parents 3269e4627918
children f87ba6507260
line wrap: on
line source


int main(){
	bit a;
	bit b;
	bit c;
	
	a = false; b = !a;
	assert( a == false );
	assert( b == true  );
	a = true; b = !a;
	assert( a == true  );
	assert( b == false );
	
	// AndAnd
	a=true; b=true; c=a&&b;
	assert( a == true  );
	assert( b == true  );
	assert( c == true  );
	a=true; b=false; c=a&&b;
	assert( a == true  );
	assert( b == false );
	assert( c == false );
	a=false; b=true; c=a&&b;
	assert( a == false );
	assert( b == true  );
	assert( c == false );
	a=false; b=false; c=a&&b;
	assert( a == false );
	assert( b == false );
	assert( c == false );

	// OrOr
	a=true; b=true; c=a||b;
	assert( a == true  );
	assert( b == true  ),
	assert( c == true  );
	a=true; b=false; c=a||b;
	assert( a == true  );
	assert( b == false );
	assert( c == true  );
	a=false; b=true; c=a||b;
	assert( a == false );
	assert( b == true  );
	assert( c == true  );
	a=false; b=false; c=a||b;
	assert( a == false );
	assert( b == false );
	assert( c == false );	
	
	// Equality Expression ("==")
	a=true; b=true; c= a==b;
	assert( a == true  );
	assert( b == true  );
	assert( c == true  );
	a=true; b=false; c= a==b;
	assert( a == true  );
	assert( b == false );
	assert( c == false );
	a=false; b=true; c= a==b;
	assert( a == false );
	assert( b == true  );
	assert( c == false );
	a=false; b=false; c= a==b;
	assert( a == false );
	assert( b == false );
	assert( c == true  );

	// Inequality Expression ("!=")
	a=true; b=true; c= a!=b;
	assert( a == true  );
	assert( b == true  );
	assert( c == false );
	a=true; b=false; c= a!=b;
	assert( a == true  );
	assert( b == false );	
	assert( c == true  );
	a=false; b=true; c= a!=b;
	assert( a == false );
	assert( b == true  );
	assert( c == true  );
	a=false; b=false; c= a!=b;
	assert( a == false );
	assert( b == false );
	assert( c == false );
	
	return 0; 
}