smcdel-1.3.0: Symbolic Model Checking for Dynamic Epistemic Logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

SMCDEL.Internal.Sanity

Synopsis

Documentation

sanityCheck :: CheckInput -> [String] Source #

Sanity checks that are used by both the CLI and the Web interface.