From b36575b4ebd9639eaf9487a5c20f19d1b8796d8e Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 20 Jul 2022 18:40:48 +0200
Subject: [PATCH] reduce wait times

---
 src/main/jastadd/cleanup/Cleanup.jrag | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/jastadd/cleanup/Cleanup.jrag b/src/main/jastadd/cleanup/Cleanup.jrag
index 5748400..d521f73 100644
--- a/src/main/jastadd/cleanup/Cleanup.jrag
+++ b/src/main/jastadd/cleanup/Cleanup.jrag
@@ -12,10 +12,10 @@ aspect CleanupAttributes {
   }
 
   syn double ASTNode.time(); // TODO can this be avoided?
-  eq RobotIsNotReadyToPick.time() = 4;
-  eq RobotIsNotReadyToDrop.time() = 4;
-  eq WaitForEmptyTable.time() = 4;
-  eq WaitForFullTable.time() = 4;
+  eq RobotIsNotReadyToPick.time() = 1;
+  eq RobotIsNotReadyToDrop.time() = 1;
+  eq WaitForEmptyTable.time() = 1;
+  eq WaitForFullTable.time() = 1;
   eq ASTNode.time() {
     throw new UnsupportedOperationException("Invalid use of attribute time():double");
   }
-- 
GitLab