@Test public void executeSimple12() { AutomataTool.main(new String[] { "src/test/resources/example/Simple12.aut", "target/Simple12.autsym" }); Log.printFindings(); assertEquals(0, Log.getFindings().size()); List<String> p = LogStub.getPrints(); assertEquals(7, p.size()); }
public static void main(String[] args) { new AutomataTool().run(args); }
AutomataTool { public static void main(String[] args) { new AutomataTool().run(args); } }
AutomataTool { public static void main(String[] args) { new AutomataTool().run(args); }  }
AutomataTool { public static void main(String[] args) { new AutomataTool().run(args); }  static void main(String[] args); void run(String[] args); static ASTAutomaton parse(String model); static IAutomataArtifactScope createSymbolTable(ASTAutomaton ast); }
AutomataTool { public static void main(String[] args) { new AutomataTool().run(args); }  static void main(String[] args); void run(String[] args); static ASTAutomaton parse(String model); static IAutomataArtifactScope createSymbolTable(ASTAutomaton ast);  }