execution: embed more data structures directly in class
[model-checker.git] / test / fences2.c
2013-02-22 Brian Norristest: fences: add simple, semi-useful fence tests