Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CMDL.ProveConsistency

Description

CMDL.ProveConsistency contains prove and consistency check command

Synopsis

Documentation

cProver :: String -> CmdlState -> IO CmdlState Source #

Select a prover

cConsChecker :: String -> CmdlState -> IO CmdlState Source #

Selects a consistency checker

doLoop :: MVar IntState -> MVar (Maybe ThreadId) -> MVar (Maybe Int_NodeInfo) -> MVar IntState -> [Int_NodeInfo] -> ProveCmdType -> IO () Source #

sigIntHandler :: MVar (Maybe ThreadId) -> MVar IntState -> MVar (Maybe Int_NodeInfo) -> ThreadId -> MVar IntState -> LibName -> IO () Source #

Signal handler that stops the prover from running when SIGINT is send