model: change 'struct model_checker' to 'class ModelChecker'
[c11tester.git] / libatomic.c
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source