From 338ac0efb3d2e2a258d949268ed6b27b3ecae1a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Thu, 15 May 2025 20:20:25 +0200 Subject: Extra arguments for the spawned tool Changelog: Added `args` parameter to `spawn` command to pass extra command-line arguments to the spawend tool --- src/Test.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Test.hs') diff --git a/src/Test.hs b/src/Test.hs index 198b7e6..ff51ebe 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -33,7 +33,7 @@ instance Monoid (TestBlock ()) where data TestStep a where Subnet :: TypedVarName Network -> Network -> (Network -> TestBlock a) -> TestStep a DeclNode :: TypedVarName Node -> Network -> (Node -> TestBlock a) -> TestStep a - Spawn :: TypedVarName Process -> Either Network Node -> (Process -> TestBlock a) -> TestStep a + Spawn :: TypedVarName Process -> Either Network Node -> [ Text ] -> (Process -> TestBlock a) -> TestStep a SpawnShell :: Maybe (TypedVarName Process) -> Node -> ShellScript -> (Process -> TestBlock a) -> TestStep a Send :: Process -> Text -> TestStep () Expect :: SourceLine -> Process -> Traced Regex -> [ TypedVarName Text ] -> ([ Text ] -> TestBlock a) -> TestStep a -- cgit v1.2.3