search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

investigate double merlin process error #10

Open ewenmaclean opened 5 years ago

ewenmaclean commented 5 years ago

sometimes when running both the Reason IDE and the Imandra IDE, the call to the merlin server fails - this needs to be investigated