check.lh

check.lh

/* Output from LCLint 2.1a */
#include "bool.h"
 
extern /*@falseexit@*/ void check (bool x);

Return LCLint Home Page David Evans
Software Devices and Systems
evs@sds.lcs.mit.edu