# dynamically generated files of Tetra tests
main/tetra/default