seqan3_test(pretty_printing_test.cpp)
seqan3_test(seqan2_test.cpp)
seqan3_test(tmp_filename_test.cpp)
