index
:
tester
devel
master
[no description]
git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Main.hs
Age
Commit message (
Collapse
)
Author
2023-02-02
Enable OverloadedStrings as default extension
Roman Smrž
2023-01-16
Haskeline for input handling
Roman Smrž
2023-01-12
Move process-related functions to Process module
Roman Smrž
2023-01-03
Command-line option to display version
Roman Smrž
2023-01-02
Split command line and test options
Roman Smrž
2022-12-20
Move TestRun monad and related types to separate module
Roman Smrž
2022-12-15
Use process variable name for node created by spawn
Roman Smrž
2022-12-04
Place test directory beside config file
Roman Smrž
2022-12-04
Config file lookup and parsing
Roman Smrž
2022-11-30
Separate process list from network
Roman Smrž
2022-11-19
Network expression type and context
Roman Smrž
2022-11-17
Parse all input files before running any tests
Roman Smrž
2022-11-10
Move test directory handling out of init/exit network helpers
Roman Smrž
2022-11-08
Force flag to remove existing test directory
Roman Smrž
2022-10-29
Show commands sent to test tool in verbose mode
Roman Smrž
2022-10-27
Show GDB console output always and without prompt
Roman Smrž
2022-10-23
Start GDB session on signal captured by the debugger
Roman Smrž
2022-10-21
Handle GDB thread groups properly
Roman Smrž
2022-10-21
GDB/MI output parsing
Roman Smrž
2022-10-18
GDB process type and separate start function
Roman Smrž
2022-10-13
Fail test and start gdb session immediately on process crash
Roman Smrž
2022-10-08
Node command to declare new node variable
Roman Smrž
2022-10-07
Explicit export list from Main module
Roman Smrž
2022-10-07
Packet loss command using netem qdisc
Roman Smrž
2022-10-07
Regex expansion
Roman Smrž
2022-10-07
Process node record accessor
Roman Smrž
2022-10-07
Process variables and expression type
Roman Smrž
2022-10-05
Support multiple node variables with same name
Roman Smrž
2022-09-30
Generic record member selection expression
Roman Smrž
2022-09-27
Separate Network module
Roman Smrž
2022-09-27
Process lifetime determined by scope
Roman Smrž
2022-09-24
Scope of variables denoted in parse tree
Roman Smrž
2022-08-20
Print relevant variables for guard failure
Roman Smrž
2022-08-13
Integer expressions and variables
Roman Smrž
2022-08-10
Let statement
Roman Smrž
2022-07-24
Print relevant variable values after expect failure
Roman Smrž
2022-06-09
Guard command
Roman Smrž
2022-06-07
Source line info for test steps from parsing
Roman Smrž
2022-06-05
Refactor expressions as GADT
Roman Smrž
2022-06-05
Assign regex captures to variables
Roman Smrž
2022-06-05
Variables containing IP addresses of nodes
Roman Smrž
2022-06-05
Variable expansion in strings and regexes
Roman Smrž
2022-05-06
Multiple test runs support
Roman Smrž
2022-05-04
Verbose option, otherwise hide most output
Roman Smrž
2022-05-04
Test run monad
Roman Smrž
2022-04-30
Separate GDB support module
Roman Smrž
2022-01-18
Fix typo in gdb option help text
Roman Smrž
2022-01-18
Default timeout command-line parameter
Roman Smrž
2021-12-20
Test tools defined optionally per-proc on command line
Roman Smrž
2021-11-26
Separate constructors for internal process names
Roman Smrž
[next]