Replaces tests with tinytap.