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: also test that lex and parse errors show up properly #28

Closed m4lvin closed 7 months ago

m4lvin commented 1 year ago

To be added in test/Web.hs

m4lvin commented 7 months ago

Done since 80fa7bfe7c33863fecad40c76b9c348d034069e7