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: https://git.lttng.org./?a=commitdiff_plain;h=abbe7e27151039f5f56b7130f0043f703862e99c;p=urcu.git

Use define SLAB_SIZE in promela model

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

diff --git a/formal-model/urcu-controldataflow/urcu.spin b/formal-model/urcu-controldataflow/urcu.spin
index b329058..3956d75 100644
--- a/formal-model/urcu-controldataflow/urcu.spin
+++ b/formal-model/urcu-controldataflow/urcu.spin
@@ -349,7 +349,7 @@ DECLARE_CACHED_VAR(byte, urcu_active_readers[NR_READERS]);
 /* RCU pointer */
 DECLARE_CACHED_VAR(byte, rcu_ptr);
 /* RCU data */
-DECLARE_CACHED_VAR(byte, rcu_data[2]);
+DECLARE_CACHED_VAR(byte, rcu_data[SLAB_SIZE]);
 
 byte ptr_read[NR_READERS];
 byte data_read[NR_READERS];