From f2baa59398318df35a92ee0c695bf3ae89e9ef47 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 01:16:50 +0000 Subject: [PATCH] ogma-core: Adjust tests to provide template directory to standalone command. Refs #189. The standalone backend uses a fixed template to generate the Copilot monitor. That template does not fit all use cases, so we are finding users heavily modifying the output (which is hard to keep up with when there are changes), or not using ogma altogether for that reason. A prior commit introduced, in the standalone command, support for custom templates and, with it, the ability to pass a custom directory containing a standalone application template. This commit modifies the tests for the standalone command to provide no custom template directory, to use the default included with Ogma. --- ogma-core/tests/Main.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ogma-core/tests/Main.hs b/ogma-core/tests/Main.hs index d7defa93..716d635e 100644 --- a/ogma-core/tests/Main.hs +++ b/ogma-core/tests/Main.hs @@ -109,6 +109,7 @@ testFretComponentSpec2Copilot file success = do , standaloneTypeMapping = [("int", "Int64"), ("real", "Float")] , standaloneFilename = "fret" , standaloneTargetDir = targetDir + , standaloneTemplateDir = Nothing } result <- standalone file opts @@ -143,6 +144,7 @@ testFretReqsDBCoCoSpec2Copilot file success = do , standaloneTypeMapping = [] , standaloneFilename = "fret" , standaloneTargetDir = targetDir + , standaloneTemplateDir = Nothing } result <- standalone file opts