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 b3290589324e50904d045b54deeb0c95970c946f..3956d75ecd20567f2b8fe1064c0f44bf2070f0b3 100644 (file)
--- 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];