summaryrefslogtreecommitdiff
path: root/src/Test.hs
AgeCommit message (Collapse)Author
2024-11-09Move withVar into MonadEval type classRoman Smrž
2024-10-04User-defined test functions without parametersRoman Smrž
2024-09-28Optional arguments and "flush" as a builtinRoman Smrž
2024-09-27Default and context-provided values for function argumentsRoman Smrž
2024-09-25Implement "guard" as a builtinRoman Smrž
2024-09-24Function parameters and callsRoman Smrž
2024-09-17Type variables and simple unificationRoman Smrž
2024-08-11Remove emptyVarValue from ExprType classRoman Smrž
2024-08-07Replace first command (wait) with a builtinRoman Smrž
2024-08-06Test block expression type and statementRoman Smrž
2024-08-02Module name declarationRoman Smrž
Changelog: Accept module name declaration
2023-10-23Flush commandRoman Smrž
Changelog: Add 'flush' command
2023-07-13Show record selectors in failure reportsRoman Smrž
Changelog: Show record selectors in failure reports
2023-05-06Drop support for introducing node variable by 'spawn' commandRoman Smrž
2023-04-04Disconnect commandsRoman Smrž
2023-03-28Network subnets and routingRoman Smrž
2023-02-21Applicative instance for ExprRoman Smrž
2023-02-20Range enumeration syntax for listsRoman Smrž
2023-02-20For statementRoman Smrž
2023-02-19Equality operator for listsRoman Smrž
2023-02-05List expression typeRoman Smrž
2023-02-02Enable OverloadedStrings as default extensionRoman Smrž
2022-12-20Move TestRun monad and related types to separate moduleRoman Smrž
2022-11-19Network expression type and contextRoman Smrž
2022-10-13Fail test and start gdb session immediately on process crashRoman Smrž
2022-10-08Node command to declare new node variableRoman Smrž
2022-10-07Packet loss command using netem qdiscRoman Smrž
2022-10-07Number type for arbitrary-precision floating point valuesRoman Smrž
2022-10-07Regex expansionRoman Smrž
2022-10-07Process variables and expression typeRoman Smrž
2022-10-05Support multiple node variables with same nameRoman Smrž
2022-09-30Generic record member selection expressionRoman Smrž
2022-09-27Separate Network moduleRoman Smrž
2022-09-24Scope of variables denoted in parse treeRoman Smrž
2022-09-02Regex expression instanceRoman Smrž
2022-08-22Boolean operators and expressionRoman Smrž
2022-08-22Generic expression parser with integer operatorsRoman Smrž
2022-08-13Integer expressions and variablesRoman Smrž
2022-08-10Let statementRoman Smrž
2022-07-24Print relevant variable values after expect failureRoman Smrž
2022-07-16Do not escape alphanumeric chars for regexesRoman Smrž
It is not needed and some of the backslashed variants actually have special meaning.
2022-06-09Guard commandRoman Smrž
2022-06-07Source line info for test steps from parsingRoman Smrž
2022-06-05Refactor expressions as GADTRoman Smrž
2022-06-05Assign regex captures to variablesRoman Smrž
2022-06-05Variable expansion in strings and regexesRoman Smrž
2021-11-26Separate constructors for internal process namesRoman Smrž
2021-11-18Show regex partern on expect failureRoman Smrž
2021-11-15Separate module for output handlingRoman Smrž
2021-08-19Wait commandRoman Smrž