@Test//(timeout = 2000)
public void test7() throws IOException
{

	InputStream in = MainTest.class.getResourceAsStream("rules/data/test-subsec-1.tex");
	ByteArrayOutputStream baos = new ByteArrayOutputStream();
	PrintStream out = new PrintStream(baos);
	int ret_code = Main.mainLoop(new String[] {"--no-color", "--ignore", "sh:seclen,sh:nsubdiv"}, in, out, new NullPrintStream());
	assertEquals(0, ret_code);
}