From 275fe9fd6aa92f8375afd6a691103fdb4ae0ea03 Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Mon, 20 May 2024 16:43:29 +0000
Subject: [PATCH] Move ROS file into repo

---
 ogma-cli/examples/ros-copilot/Monitor.hs | 48 ------------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 ogma-cli/examples/ros-copilot/Monitor.hs

diff --git a/ogma-cli/examples/ros-copilot/Monitor.hs b/ogma-cli/examples/ros-copilot/Monitor.hs
deleted file mode 100644
index 025cf7bc..00000000
--- a/ogma-cli/examples/ros-copilot/Monitor.hs
+++ /dev/null
@@ -1,48 +0,0 @@
-import           Copilot.Compile.C99
-import           Copilot.Language          hiding (prop)
-import           Copilot.Language.Prelude
-import           Copilot.Library.LTL       (next)
-import           Copilot.Library.MTL       hiding (since, alwaysBeen, trigger)
-import           Copilot.Library.PTLTL     (since, previous, alwaysBeen)
-import qualified Copilot.Library.PTLTL     as PTLTL
-import qualified Copilot.Library.MTL       as MTL
-import           Language.Copilot          (reify)
-import           Prelude                   hiding ((&&), (||), (++), (<=), (>=), (<), (>), (==), (/=), not)
-
-a :: Stream (Bool)
-a = extern "a" Nothing
-
--- | testCopilot
---   @
---   unimportant
---   @
-propTestCopilot :: Stream Bool
-propTestCopilot = a
-
-
--- | Clock that increases in one-unit steps.
-clock :: Stream Int64
-clock = [0] ++ (clock + 1)
-
-
--- | First Time Point
-ftp :: Stream Bool
-ftp = [True] ++ false
-
-
-pre :: Stream Bool -> Stream Bool
-pre = ([False] ++)
-
-tpre :: Stream Bool -> Stream Bool
-tpre = ([True] ++)
-
--- | Complete specification. Calls the C function void  handler(); when
--- the property is violated.
-spec :: Spec
-spec = do
-  trigger "handlerTestCopilot" (not propTestCopilot) []
-
-
-main :: IO ()
-main = reify spec >>= compile "monitor"
-