verifiable-expressions-0.6.0: An intermediate language for Hoare logic style verification.
Language.While.Test
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 #