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

use QuickCheck #3

Closed m4lvin closed 8 years ago

m4lvin commented 8 years ago

We should replace the manual testing and random generation stuff with proper QuickCheck and Arbitrary instances.