Test Harness Proof Correctness #110
Description
Currently the test harness reads from logs to prove network behavior. It has to parse and pattern match on the messages within the logs. If the logs change, this will break the tests. A mechanism to keep test and application level logs in sync is required.