Fix single flip test
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 13:01:06 +0000 (09:01 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 13:01:06 +0000 (09:01 -0400)
commitf089ec2496f9d72eb737de6ac4786b81f5d55a7e
treec696142ac90e0e368ee3468e6b06ee936c5056ed
parent19d8de31dc92430df89d90e8ba76212b764afd44
Fix single flip test

The single flip test requires to keep track of parity evolution across the loop
iterations. Keep it as a local variable so we don't end up adding unexisting
dependencies.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu-controldataflow/urcu.spin
This page took 0.024373 seconds and 4 git commands to generate.