lightning

107 Tags

38 MiB

Tree: beb702054b

Author	SHA1	Message	Date
Rusty Russell	642c3e36e3	test/test_state_coverage: Check that it terminates. The state machine is infinite, but if we eliminate the normal inner state loop, and a couple of other unusual cases where inputs can repeat, we should be able to traverse it all. This is slower than simply stopping when we hit a repeated state though. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>	9 years ago
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>	9 years ago
Rusty Russell	11f33ad12f	test/test_state_coverage: test the case where we decline an HTLC. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>	9 years ago
Rusty Russell	8308e31d6c	test/test_state_coverage: ensure we produce all output packets. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>	9 years ago
Rusty Russell	f51e9c81bf	test/test_state_coverage: make sure we test all inputs. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>	9 years ago
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>	9 years ago