up',

diff --git a/ar/assignments/4.smv b/ar/assignments/4.smv
index 2f98101..67d257b 100644 (file)
--- a/ar/assignments/4.smv
+++ b/ar/assignments/4.smv
@@ -5,7 +5,7 @@ a3 : 3..100;
 a4 : 4..100;
 a5 : 5..100;
 a6 : 6..100;
-c : 0..25;
+c : 0..30;
 INIT
 a2 = 2 & a3 = 3 & a4 = 4 & a5 = 5 & a6 = 6 & c=1
 TRANS