README.md: add linux locks example
[model-checker.git] / test / sctest.c
2013-05-03 Brian NorrisMerge demsky's SC analysis fixup
2013-04-26 Brian Norristest: sctest: fix warnings
2013-04-26 Brian DemskyFix bug that prevents graph generation from compiling.