Converting unit tests to Specter