solfuzzer: adds --input-file=FILENAME command line argument (defaulting to stdin)
TestTool::m_formatted