test-framework-th modified to work with tasty