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