Verified Commit 9bc90956 authored by Amin Bandali's avatar Amin Bandali
Browse files

Fix txt and json output file names

parent 67ff9605
...@@ -61,13 +61,14 @@ public final class Mut extends CatalystCommand implements Runnable { ...@@ -61,13 +61,14 @@ public final class Mut extends CatalystCommand implements Runnable {
description = "Number of mutations to generate per Alloy file") description = "Number of mutations to generate per Alloy file")
protected int mutationCount = 3; protected int mutationCount = 3;
final transient private Path OUT_TEXT = Paths.get(resultsDir, "catalyst_mut.txt"); final transient private String
final transient private Path OUT_JSON = Paths.get(resultsDir, "catalyst_mut.json"); OUT_TEXT = "catalyst_mut.txt",
OUT_JSON = "catalyst_mut.json";
public Mut() {} public Mut() {}
public void run() { public void run() {
initialize(OUT_TEXT, OUT_JSON); initialize(Paths.get(resultsDir, OUT_TEXT), Paths.get(resultsDir, OUT_JSON));
gson = new GsonBuilder().setPrettyPrinting().create(); gson = new GsonBuilder().setPrettyPrinting().create();
// ugly workaround to load the solvers' native libraries // ugly workaround to load the solvers' native libraries
......
...@@ -25,13 +25,14 @@ import picocli.CommandLine.Command; ...@@ -25,13 +25,14 @@ import picocli.CommandLine.Command;
@Command(name = "ssr", description = "Structure Signature Removal mode") @Command(name = "ssr", description = "Structure Signature Removal mode")
public final class SSR extends CatalystCommand implements Runnable { public final class SSR extends CatalystCommand implements Runnable {
public SSR() {} final transient private String
OUT_TEXT = "catalyst_ssr.txt",
OUT_JSON = "catalyst_ssr.json";
final transient private Path OUT_TEXT = Paths.get(resultsDir, "catalyst_ssr.txt"); public SSR() {}
final transient private Path OUT_JSON = Paths.get(resultsDir, "catalyst_ssr.json");
public void run() { public void run() {
initialize(OUT_TEXT, OUT_JSON); initialize(Paths.get(resultsDir, OUT_TEXT), Paths.get(resultsDir, OUT_JSON));
gson = new GsonBuilder().setPrettyPrinting().create(); gson = new GsonBuilder().setPrettyPrinting().create();
Instant start = Instant.now(); Instant start = Instant.now();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment