From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Thu, 4 Jun 2009 18:58:21 +0000 (-0400)
Subject: Use nicer LTL formula with eventually for ooomem model
X-Git-Tag: v0.1~197
X-Git-Url: http://git.lttng.org./?a=commitdiff_plain;ds=inline;h=3f0a3329d1f13d4cf86eace2630c98620b76d6ff;hp=3f0a3329d1f13d4cf86eace2630c98620b76d6ff;p=userspace-rcu.git

Use nicer LTL formula with eventually for ooomem model

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---