Merge pull request #174 from sbt/wip/havocp-add-testevent-test

Add integrationt test coverage for TestEvent
Merge remote-tracking branch 'origin/master' into wip/havocp-analyze-execution