From f2d73f12504b83a152f2698812278f319c7e5ee1 Mon Sep 17 00:00:00 2001
From: Christian Menard <christian.menard@tu-dresden.de>
Date: Wed, 10 May 2023 15:04:11 +0200
Subject: [PATCH] relax deadline

---
 test/Cpp/src/enclave/EnclaveSparseUpstreamEvents.lf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/test/Cpp/src/enclave/EnclaveSparseUpstreamEvents.lf b/test/Cpp/src/enclave/EnclaveSparseUpstreamEvents.lf
index 3bade0f63e..58bd641387 100644
--- a/test/Cpp/src/enclave/EnclaveSparseUpstreamEvents.lf
+++ b/test/Cpp/src/enclave/EnclaveSparseUpstreamEvents.lf
@@ -1,12 +1,12 @@
 // The purpose of this test is to check that the downstream enclave can
 // progress, even if there are only sparse upstream events.
 target Cpp {
-    timeout: 6 s,
+    timeout: 12 s,
     workers: 1
 }
 
-reactor Src {
-    timer t(0, 2 s)
+reactor Src {s
+    timer t(0, 4 s)
     output out: int
     state counter: int = 0
 
@@ -36,7 +36,7 @@ reactor Sink {
         }
     =}
 
-    reaction(t) {= reactor::log::Info() << "Tick"; =} deadline(1 s) {=
+    reaction(t) {= reactor::log::Info() << "Tick"; =} deadline(2 s) {=
         reactor::log::Error() << "Deadline violated.";
         exit(2);
     =}