From 828a2fb4528a06833923dbc59f9a3205b01b5543 Mon Sep 17 00:00:00 2001
From: Isaac Amundson <Isaac.Amundson@collins.com>
Date: Tue, 17 Sep 2024 12:19:49 -0500
Subject: [PATCH] test

---
 AGREE-Toy-Example/packages/Integer_Toy.aadl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/AGREE-Toy-Example/packages/Integer_Toy.aadl b/AGREE-Toy-Example/packages/Integer_Toy.aadl
index 8675be6..15e1fc8 100644
--- 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;