search

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
https://w4eg.de/malvin/illc/smcdelweb
GNU General Public License v2.0
39 stars 9 forks source link

web interface: `error` calls do not show up, only printed to STDOUT #15

Closed m4lvin closed 2 years ago

m4lvin commented 4 years ago

When using smcdel-web, some error calls such as this one appear in STDOUT, but nothing happens in the web interface:

apply: Relation [("alice",[P 2,P 3]),("bob",[P 1,P 3])] not defined at "carol"

The error should be shown in the web interface, pointing out the mistake (which in this case is to use K with a different agent name than defined in OBS).