Merge pull request #100 from CaptainUnbrauchbar/fix-issue-97

fix: 🐛 handle unsatisfiable results correctly

Author: CaptainUnbrauchbar

src/extension.js

@@ -84,7 +84,7 @@ function activate(context) {
                 solve: result?.Time.Solve,
                 model: result?.Time.Model,
             },
-            answers: result?.Call.flatMap((call) => call.Witnesses.map((witness) => witness.Value.join(", "))),
+            answers: result?.Call.flatMap((call) => call.Witnesses?.map((witness) => witness.Value.join(", "))),
             result: result?.Result,
         };
     }

src/runClingoWasmForFileWithProgress.js

@@ -57,7 +57,7 @@ async function runClingoWasmForFileWithProgress(vscode, progress, filePath, mode
     });
 
     // Validate the result
-    if (["ERROR", "UNSATISFIABLE", "UNKNOWN"].includes(wasmResult.Result)) {
+    if (["ERROR", "UNKNOWN"].includes(wasmResult.Result)) {
         if ("Error" in wasmResult) {
             vscode.window.showErrorMessage(`Clingo WASM Error: ${wasmResult.Error}`);
         } else {