From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Wed, 27 May 2009 14:38:27 +0000 (-0400)
Subject: Use define SLAB_SIZE in promela model
X-Git-Tag: v0.1~206
X-Git-Url: http://git.lttng.org./?a=commitdiff_plain;ds=sidebyside;h=abbe7e27151039f5f56b7130f0043f703862e99c;hp=abbe7e27151039f5f56b7130f0043f703862e99c;p=userspace-rcu.git

Use define SLAB_SIZE in promela model

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