Remove -c flag from --model-interface-only command

MiniZinc · Dec 2, 2024 · 4976cd8 · 4976cd8
1 parent 8f7307e
commit 4976cd8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/browser.js b/src/browser.js
@@ -193,7 +193,7 @@ export class Model {
     return new Promise((resolve, reject) => {
       const config = { ...cfg };
       const { worker, runCount } = this._run(
-        ["-c", "--model-interface-only"],
+        ["--model-interface-only"],
         config.options
       );
       const errors = [];

diff --git a/src/node.js b/src/node.js
@@ -221,7 +221,7 @@ export class Model {
   }
   interface(cfg) {
     const config = { ...cfg };
-    const proc = this._run(["-c", "--model-interface-only"], config.options);
+    const proc = this._run(["--model-interface-only"], config.options);
     const errors = [];
     let iface = null;
     proc.on("error", (e) => errors.push(e));

diff --git a/src/tests.cjs b/src/tests.cjs
@@ -102,7 +102,7 @@ module.exports.commonTests = (MiniZinc) => {
   test("Basic compile", async () => {
     const model = new MiniZinc.Model();
     model.addString("var 1..3: x;");
-    const fzn = await model.compile();
+    const fzn = await model.compile({ solver: "gecode" });
     expect(fzn).toMatch(
       /var\s+1\s*\.\.\s*3\s*:\s*x\s*::\s*output_var\s*;\s*solve\s*satisfy;\s*/
     );