chalmers-lava2000-1.0.2: Hardware description library Source code Contents Index

Lava2000.Verification

Documentation

data Option Source

Constructors Name String ShowTime Sat Int NoBacktracking Depth Int Increasing RestrictStates Instances Eq Option Show Option

verify :: Checkable a => a -> IO ProofResult Source

verifyWith :: Checkable a => [Option] -> a -> IO ProofResult Source

data ProofResult Source

Constructors Valid Falsifiable Indeterminate Instances Eq ProofResult Show ProofResult

verifyDir :: FilePath Source

checkVerifyDir :: IO () Source

Produced by Haddock version 2.6.0