chalmers-lava2000-1.6.1: Hardware description EDSL
Safe HaskellNone
LanguageHaskell98

Lava.Verification

Documentation

data Option Source #

Constructors

Name String 
ShowTime 
Sat Int 
NoBacktracking 
Depth Int 
Increasing 
RestrictStates 

Instances

Instances details
Eq Option Source # 
Instance details

Defined in Lava.Verification

Methods

(==) :: Option -> Option -> Bool

(/=) :: Option -> Option -> Bool

Show Option Source # 
Instance details

Defined in Lava.Verification

Methods

showsPrec :: Int -> Option -> ShowS

show :: Option -> String

showList :: [Option] -> ShowS

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

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

data ProofResult Source #

Constructors

Valid 
Falsifiable 
Indeterminate 

Instances

Instances details
Eq ProofResult Source # 
Instance details

Defined in Lava.Verification

Methods

(==) :: ProofResult -> ProofResult -> Bool

(/=) :: ProofResult -> ProofResult -> Bool

Show ProofResult Source # 
Instance details

Defined in Lava.Verification

Methods

showsPrec :: Int -> ProofResult -> ShowS

show :: ProofResult -> String

showList :: [ProofResult] -> ShowS

verifyDir :: FilePath Source #

checkVerifyDir :: IO () Source #