chalmers-lava2000-1.0.2: Hardware description library

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