Rusty Russell
|
786bef9002
|
test/test_state_coverage: output dot format.
Good for documentation, plus impressive with all the error states...
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
|
2015-09-25 11:51:18 +09:30 |
|
Rusty Russell
|
11f33ad12f
|
test/test_state_coverage: test the case where we decline an HTLC.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
|
2015-09-25 11:51:18 +09:30 |
|
Rusty Russell
|
8308e31d6c
|
test/test_state_coverage: ensure we produce all output packets.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
|
2015-09-25 11:51:18 +09:30 |
|
Rusty Russell
|
f51e9c81bf
|
test/test_state_coverage: make sure we test all inputs.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
|
2015-09-25 11:51:18 +09:30 |
|
Rusty Russell
|
1556315f2e
|
test_state_coverage: simple exhaustive coverage test for state machine.
Makes sure that we visit every state.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
|
2015-09-25 11:51:18 +09:30 |