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

add integration tests for web interface #12

Closed m4lvin closed 2 years ago

m4lvin commented 5 years ago

Possibly using selenium as described here.