check.lh

check.lh

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


Return to Index | LCLint Home Page

David Evans
evs@sds.lcs.mit.edu