better lock-free test
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 14 Oct 2009 15:59:38 +0000 (11:59 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 14 Oct 2009 15:59:38 +0000 (11:59 -0400)
commit08e5a09d6dcc497e88d6f79b9d8c33198c515acd
tree970f95444d9c25b6ffb8bc00cab359188496c20a
parent6dc4684a347695670803a70b7e50986fb75ec0ec
better lock-free test

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
ticketlock-testwait/lock_progress.ltl
This page took 0.024675 seconds and 4 git commands to generate.