README.md: add linux locks example
[model-checker.git] / test / insanesync.cc
2013-07-17 Brian Norristest: insanesync: consolidate lines oopsla2013-final
2013-07-17 Brian Norristest: insanesync: remove unnecessary casting
2013-07-17 Brian Norristest: insanesync: convert to C++