vertx_tests.py