verifiable-expressions-0.6.2: An intermediate language for Hoare logic style verification.
Safe HaskellNone
LanguageHaskell2010

Language.While.Test

Documentation

testCommandAnn :: Command String (PropAnn String ()) Source #

testPrecond :: WhileProp String Bool Source #

testPostcond :: WhileProp String Bool Source #

testConfig :: SMTConfig Source #

testVcs :: Maybe [WhileProp String Bool] Source #

test :: IO (Either (VerifierError (WhileVar String)) Bool) Source #