/* TAGS: c */ /* VERIFY_OPTS: */ #include #include #include // V: fixed V_OPT: -o clock-type:fixed TAGS: min // V: det V_OPT: -o clock-type:det // V: ndet V_OPT: -o clock-type:ndet TAGS: min // V: sym V_OPT: -o clock-type:sym --symbolic TAGS: todo int main() { struct timeval t1, t2; assert( gettimeofday( &t1, NULL ) == 0 ); assert( gettimeofday( &t2, NULL ) == 0 ); assert( t2.tv_sec >= t1.tv_sec ); }