clock: add modelclock_t typedef, use 'unsigned int'
[model-checker.git] / datarace.h
2012-07-06 Brian Demskyadd support for datarace detection...