timer.h

Go to the documentation of this file.

/* -*- mode: C; mode: folding; fill-column: 70; -*- */
/* Copyright 2010,  Georgia Institute of Technology, USA. */
/* See COPYING for license. */
#if !defined(TIMER_HEADER_)
#define TIMER_HEADER_
 
void tic (void);
 
double toc (void);
 
#define TIME(timevar, what) do { tic (); what; timevar = toc(); } while (0)
 
#endif /* TIMER_HEADER_ */