diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-18 18:16:35 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-18 18:16:35 +0100 |
commit | 97398438902d42b33aef475e3e357781582bec16 (patch) | |
tree | c027eda3c0167ef5aaacd68167c6aac75aff1f58 /src/VeriFuzz/Sim/Internal.hs | |
parent | 7053c6117f39d39852b3259c677691b5df6e7c04 (diff) | |
download | verismith-97398438902d42b33aef475e3e357781582bec16.tar.gz verismith-97398438902d42b33aef475e3e357781582bec16.zip |
Add output path to each simulator
Diffstat (limited to 'src/VeriFuzz/Sim/Internal.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Internal.hs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/VeriFuzz/Sim/Internal.hs b/src/VeriFuzz/Sim/Internal.hs index 8327ad8..2d06819 100644 --- a/src/VeriFuzz/Sim/Internal.hs +++ b/src/VeriFuzz/Sim/Internal.hs @@ -78,10 +78,12 @@ instance Monoid Failed where -- | Synthesiser type class. class Tool a => Synthesiser a where - runSynth :: a -- ^ Synthesiser tool instance - -> SourceInfo -- ^ Run information - -> FilePath -- ^ Output verilog file for the module - -> ResultSh () -- ^ does not return any values + runSynth :: a -- ^ Synthesiser tool instance + -> SourceInfo -- ^ Run information + -> FilePath -- ^ Output verilog file for the module + -> ResultSh () -- ^ does not return any values + synthOutput :: a -> FilePath + setSynthOutput :: a -> FilePath -> a -- | Type synonym for a 'ResultT' that will be used throughout 'VeriFuzz'. This -- has instances for 'MonadSh' and 'MonadIO' if the 'Monad' it is parametrised |