From 4976cd842658356666adb36b24b3023cc958243a Mon Sep 17 00:00:00 2001 From: Jason N Date: Mon, 2 Dec 2024 12:28:10 +1100 Subject: [PATCH] Remove -c flag from --model-interface-only command --- src/browser.js | 2 +- src/node.js | 2 +- src/tests.cjs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/browser.js b/src/browser.js index 227871e..973607e 100644 --- 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 index d3f1d59..599d4c1 100644 --- 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 index 623fe28..54b4baa 100644 --- 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*/ );