futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Wed, 17 Aug 2011 10:05:42 +0000 (06:05 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Wed, 17 Aug 2011 10:05:42 +0000 (06:05 -0400)
commit37acf64d444bf756e8f61e4eaa2ea96fadf84635
tree2fc74229260907cbfedee474602788f2e08d2b3e
parentbc8ef93e8a82b8178b1b19d107717b97115481c4
futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
futex-wakeup/Makefile
futex-wakeup/futex.spin
futex-wakeup/futex_progress_inverted_waiting_vs_gp_futex.define [new file with mode: 0644]
This page took 0.024589 seconds and 4 git commands to generate.