chalmers-lava2000-1.5: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Verification

Documentation

data Option Source

Constructors

Name String 
ShowTime 
Sat Int 
NoBacktracking 
Depth Int 
Increasing 
RestrictStates 

Instances

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

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

data ProofResult Source

Constructors

Valid 
Falsifiable 
Indeterminate 

Instances

verifyDir :: FilePath Source

checkVerifyDir :: IO () Source