Requests from David

AlloyTools · Mar 19, 2024 · 0056bf6 · 0056bf6
1 parent 04a9e93
commit 0056bf6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/org.alloytools.alloy.cli/src/main/java/org/alloytools/alloy/cli/CLI.java b/org.alloytools.alloy.cli/src/main/java/org/alloytools/alloy/cli/CLI.java
@@ -268,11 +268,6 @@ private OutputStream output(String output) throws IOException {
 			error("Cannot create parent directory for %s", file);
 			return null;
 		}
-		if (!file.canWrite()) {
-			error("Cannot write %s", file);
-			return null;
-		}
-
 		return new FileOutputStream(file);
 	}
 

diff --git a/...tools.pardinus.native/src/main/java/org/alloytools/solvers/natv/electrod/ElectrodRef.java b/...tools.pardinus.native/src/main/java/org/alloytools/solvers/natv/electrod/ElectrodRef.java
@@ -151,7 +151,8 @@ String execute(ElectrodSolver electrodSolver, String elo, PardinusBounds bounds)
         args.add(electrod.getAbsolutePath());
         args.add("-t");
         args.add(solverId);
-        args.add("-v");
+        if (ExtendedOptions.isDebug())
+            args.add("-v");
 
         ExtendedOptions options = electrodSolver.options();
         if (!options.unbounded()) {