diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-10-23 21:05:55 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-10-23 21:05:55 +0200 |
| commit | 224366e2c668784952ab613c7640d7017ce60990 (patch) | |
| tree | ebbad4d9d53119c6f1b0f74ada973efa8ac06a86 /src/Test.hs | |
| parent | ff5c3f5a91e249694f3b76109027cf9d0c717a7c (diff) | |
Flush command
Changelog: Add 'flush' command
Diffstat (limited to 'src/Test.hs')
| -rw-r--r-- | src/Test.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Test.hs b/src/Test.hs index e336858..d080cae 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -42,6 +42,7 @@ data TestStep = forall a. ExprType a => Let SourceLine (TypedVarName a) (Expr a) | Spawn (TypedVarName Process) (Either (Expr Network) (Expr Node)) [TestStep] | Send (Expr Process) (Expr Text) | Expect SourceLine (Expr Process) (Expr Regex) [TypedVarName Text] [TestStep] + | Flush (Expr Process) (Maybe (Expr Regex)) | Guard SourceLine (Expr Bool) | DisconnectNode (Expr Node) [TestStep] | DisconnectNodes (Expr Network) [TestStep] |