Bundled WASM runner does not handle unsatisfiable instances

[Lucide]

Bundled WASM solver errors out when the provided instance has no answers:

% Brute force two-coloring
#const n = 2.

% Generate
{ color(X,1..n) } = 1 :- node(X).
% Test
:- edge(X,Y), color(X,C), color(Y,C).

% Nodes
node(1..6).
% (Directed) Edges
edge(1,(2;3;4)).  edge(2,(4;5;6)).  edge(3,(1;4;5)).
edge(4,(1;2)).    edge(5,(3;4;6)).  edge(6,(2;3;5)).

% Display
#show color/2.

Potassco WASM runner output:

clingo version 5.7.2 (6bd7584d)
Reading from stdin
Solving...
UNSATISFIABLE

Models       : 0
Calls        : 1
Time         : 0.036s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s

...

Extension:

I believe at some time I was able to see something on the "Extension Host" tab of the output panel, something about a missing split method..

Thank you for your work!

[CaptainUnbrauchbar]

Fixed in v1.0.7!

Thanks for reporting