Change initialize a bit
[c11tester.git] / include / modeltypes.h
2019-07-01 weiyufix git conflict
2019-06-28 roottabbing plus lots of memory fixes
2012-10-12 Brian Norristhread_id_t: add comments
2012-10-12 Brian Norrismodeltypes: move to include/ dir, for now