+ System.err.println("expanding...");
+ GraphViz gv = new GraphViz();
+ r2.toGraphViz(gv);
+ FileOutputStream fox = new FileOutputStream("out.dot");
+ gv.dump(fox);
+ fox.close();
+
+ TestCase[] expanded = (TestCase[])new TestCaseBuilder().walk(r2.expand1());
+ System.err.println("executing...");
+ for(TestCase tc : expanded) tc.execute();