execution: add const
[model-checker.git] / test / fences2.c
2013-02-22 Brian Norristest: fences: add simple, semi-useful fence tests