GUI doesn't handle the RSP_EXCEPTION if failures happen in INIT

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

GUI doesn't handle the RSP_EXCEPTION if failures happen in INIT #93

Closed lyhlbyl closed 8 years ago

lyhlbyl commented 8 years ago

if a failure happen in the init stage, i.e. RSP_INIT_PSGRAPH, anf the core will send a message with cmd RSP_EXCEPTION and some logging information. GUI doesn't handler this message properly. It works fine if failures happen after init