@< path("{{TEST_DRIVER_NAME}}") >@ {# FILENAME = pipeline.stdin.tpl #}
@< TESTNAME >@
@< MODELNAME >@
{{symbol}}
{{driver_lattice}}