diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-13 21:05:31 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-13 22:16:06 +0200 |
| commit | 000209c13299f1c046dc60e3649c17e9520680de (patch) | |
| tree | d0ef2db73b3ed95559cec6037348e03706b116f0 /src/Test.hs | |
| parent | ed4dcb61f8a13a3cbfee1c30ea2cb12b5fd3c1ec (diff) | |
Fail test and start gdb session immediately on process crash
Diffstat (limited to 'src/Test.hs')
| -rw-r--r-- | src/Test.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Test.hs b/src/Test.hs index 6b04fac..836992c 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -1,6 +1,7 @@ module Test ( Test(..), TestStep(..), + Failed(..), SourceLine(..), MonadEval(..), @@ -41,6 +42,9 @@ data TestStep = forall a. ExprType a => Let SourceLine VarName (Expr a) [TestSte | PacketLoss (Expr Scientific) (Expr Node) [TestStep] | Wait +data Failed = Failed + | ProcessCrashed Process + newtype SourceLine = SourceLine Text |