Fixed unbounded, -v at electrod

AlloyTools · Mar 18, 2024 · 04a9e93 · 04a9e93
1 parent eac29a2
commit 04a9e93
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java b/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/translator/A4Solution.java
@@ -344,7 +344,7 @@ public final class A4Solution {
         this.maxtrace = maxtrace;
         this.mintrace = mintrace;
         // [electrum] test whether unbounded solver
-        if (maxtrace == Integer.MAX_VALUE && !(!opt.solver.unbounded()))
+        if (maxtrace == Integer.MAX_VALUE && !opt.solver.unbounded())
             throw new ErrorAPI("Bounded engines do not support open bounds on steps.");
         if (bitwidth < 0)
             throw new ErrorSyntax("Cannot specify a bitwidth less than 0.");

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,6 +151,7 @@ String execute(ElectrodSolver electrodSolver, String elo, PardinusBounds bounds)
         args.add(electrod.getAbsolutePath());
         args.add("-t");
         args.add(solverId);
+        args.add("-v");
 
         ExtendedOptions options = electrodSolver.options();
         if (!options.unbounded()) {