diff options
Diffstat (limited to 'V2VM.java')
-rw-r--r-- | V2VM.java | 10 |
1 files changed, 2 insertions, 8 deletions
@@ -1,5 +1,3 @@ -import java.util.logging.Logger; -import java.util.logging.ConsoleHandler; import java.io.*; import java.util.ArrayList; @@ -23,10 +21,6 @@ public class V2VM { public static void main(String[] args) { - Logger log = Logger.getLogger(V2VM.class.getName()); - ConsoleHandler consoleHandler = new ConsoleHandler(); - consoleHandler.setFormatter(new MinimalSimpleFormatter()); - log.addHandler(consoleHandler); try { System.in.mark(-1); @@ -36,10 +30,10 @@ public class V2VM { VaporProgram prog = parseVapor(System.in, System.out); - log.info(String.format("Generating CFGs...")); + MinimalLogger.info(String.format("Generating CFGs...")); CFGSimp cfv = new CFGSimp(prog, strProg); ArrayList<ControlFlowGraph> cfgs = cfv.getCFGs(); - log.info(String.format("Spilling Everywhere...")); + MinimalLogger.info(String.format("Spilling Everywhere...")); SpillEverywhere spill = new SpillEverywhere(prog, strProg); } catch (IOException e) { |