You are viewing a single comment's thread from:
RE: Finally Testing the SMT Wizard...unsuccessfully for the moment
I found one possible reason why Wizard is not working and I have just already created a new issue on the GitHub repository. I hope that helps them fix it.
Sometimes developers introduce code which is not yet to be executed or is not doing what is expected to. However, this code wasn't syntactically correct.
From what I have seen, they where using certain JavaScript feature in a place where it wasn't allowed to be used; that caused JavaScript engine to stop execution and log an error on the browser console.