@Test(timeout = 5000)
public void testInput1() throws IOException
{

	ByteArrayOutputStream baos = new ByteArrayOutputStream();
	PrintStream out = new PrintStream(baos);
	int ret_code = Main.mainLoop(new String[] {"--no-color", "--read-all", "rules/data/test-input1.tex"}, null, out, new NullPrintStream(), MainTest.class);
	String output = new String(baos.toByteArray());
	assertNotNull(output);
	assertTrue(ret_code > 0);
	assertFalse(output.trim().isEmpty());
}