threads_internal: pass the current 'action' to the internal thread system
[model-checker.git] / libatomic.h
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source