From 224366e2c668784952ab613c7640d7017ce60990 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Mon, 23 Oct 2023 21:05:55 +0200
Subject: Flush command

Changelog: Add 'flush' command
---
 src/Test.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Test.hs')

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]
-- 
cgit v1.2.3