From d51f98f252aeed04918aab9060a8578d7d23d028 Mon Sep 17 00:00:00 2001
From: erlingrj <erling.jellum@gmail.com>
Date: Thu, 3 Oct 2024 10:04:07 -0700
Subject: [PATCH] Remove EnclaveRequestShutdown

---
 test/C/src/enclave/EnclaveRequestStop.lf | 29 ------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 test/C/src/enclave/EnclaveRequestStop.lf

diff --git a/test/C/src/enclave/EnclaveRequestStop.lf b/test/C/src/enclave/EnclaveRequestStop.lf
deleted file mode 100644
index aea05a874d..0000000000
--- a/test/C/src/enclave/EnclaveRequestStop.lf
+++ /dev/null
@@ -1,29 +0,0 @@
-/** Test that enclaves all stop at the time requested by the first enclave to request a stop. */
-target C {
-  timeout: 1 sec
-}
-
-reactor Stop(stop_time: time = 5 s) {
-  preamble {=
-    #include "platform.h" // Defines PRINTF_TIME
-  =}
-  timer t(stop_time)
-
-  reaction(t) {=
-    lf_request_stop();
-  =}
-
-  reaction(shutdown) {=
-    lf_print("Stopped at tag (" PRINTF_TIME ", %d)", lf_time_logical_elapsed(), lf_tag().microstep);
-    if (lf_time_logical_elapsed() != 50000000LL || lf_tag().microstep != 1) {
-        lf_print_error_and_exit("Expected stop tag to be (50ms, 1).");
-    }
-  =}
-}
-
-main reactor {
-  @enclave
-  s1 = new Stop()
-  @enclave
-  s2 = new Stop(stop_time = 50 ms)
-}