test

loonwerks · Sep 17, 2024 · 828a2fb · 828a2fb
1 parent 7c3d628
commit 828a2fb
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 < 50;
+		guarantee T3 "System output range" : Output < 0;
 	**};	
 end top_level;