Improve lock check output. Add more validation samples.
commit34211c67c4e993d166be1a5710f32c39db8793e6
authorDan Carpenter <error27@gmail.com>
Mon, 23 Feb 2009 17:40:31 +0000 (23 20:40 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 24 Feb 2009 06:37:40 +0000 (24 09:37 +0300)
tree77ff8b0a0913bc6224d74ce5e4df77fae37c50ab
parentf45639c5071594b78e0eb9531a41f32a6c532232
Improve lock check output.  Add more validation samples.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_locking.c
validation/sm_locking2.c [new file with mode: 0644]
validation/sm_locking3.c [new file with mode: 0644]