model: use get_mutex() and get_thread_operand() helpers
[c11tester.git] / stl-model.h
2013-03-07 Brian Norrisbugfix - add stl-model.h wrappers, to provide more...