test_positive (__main__.Gates) ... ok
test_reject_bad_trace (__main__.Gates) ... ok
test_reject_dml (__main__.Gates) ... ok
test_reject_empty_object (__main__.Gates) ... ok
test_reject_events_rewritten (__main__.Gates) ... ok
test_reject_external_attempt (__main__.Gates) ... ok
test_reject_integer_to_string (__main__.Gates) ... ok
test_reject_message_changed (__main__.Gates) ... ok
test_reject_missing_case (__main__.Gates) ... ok
test_reject_missing_field (__main__.Gates) ... ok
test_reject_natural_changed (__main__.Gates) ... ok
test_reject_source_fail (__main__.Gates) ... ok
test_reject_source_sha (__main__.Gates) ... ok
test_reject_unexpected_helper (__main__.Gates) ... ok
test_reject_wrong_source_relation (__main__.Gates) ... ok

----------------------------------------------------------------------
Ran 15 tests in 1.085s

OK