check.lcl

check.lcl

falseexit void check (bool x) { modifies nothing; }


Return to Index | LCLint Home Page

David Evans
evans@cs.virginia.edu