Test

loonwerks · Sep 17, 2024 · b981431 · b981431
1 parent 828a2fb
commit b981431
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/AGREE-Toy-Example/packages/Integer_Toy.aadl b/AGREE-Toy-Example/packages/Integer_Toy.aadl
@@ -48,7 +48,7 @@ system top_level
 	  eq mode : int;
 		assume T1 "System input range " : Input < 10;
 		guarantee T2 "mode is always positive" : mode >= 0;
-		guarantee T3 "System output range" : Output < 0;
+		guarantee T3 "System output range" : Output < 50;
 	**};	
 end top_level;