verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification.

Safe Haskell	None
Language	Haskell2010

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 #