void () { TestConsoleProperties.HIDE_PASSED_TESTS.set(myProperties, true); TestConsoleProperties.HIDE_IGNORED_TEST.set(myProperties, true); final SMTRunnerTreeStructure treeStructure = myResultsForm.getTreeBuilder().getTreeStructure(); final Object[] suites = treeStructure.getChildElements(mySuite); assertTrue(suites.length == 0); }