Branch Coverage

palsrc/pal1Atmt.c

Criterion	Covered	Total	%
branch	3	6	50.0

line	true	false	branch
112	5287	0	*t = DMAX( DMIN( t0 - alpha*(r-r0), 320.0), 100.0 );
	5287	0	*t = DMAX( DMIN( t0 - alpha*(r-r0), 320.0), 100.0 );
	5287	0	*t = DMAX( DMIN( t0 - alpha*(r-r0), 320.0), 100.0 );