wala js

TestArgumentSensitivity.java

 String dotFile = File.createTempFile("out", ".dt").getAbsolutePath();
    System.out.println(dotFile);

    String pdfFile = File.createTempFile("out", ".pdf").getAbsolutePath();
   

System.out.println(pdfFile);

    String dotExe = "dot";
    String gvExe = "cmd open";
    DotUtil.dotify(CG, null, dotFile, pdfFile, dotExe);