Use Tasty in place of test-framework