diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
| commit | 1e4798b9bfe090ac68c2edd036637b6bfac5c06b (patch) | |
| tree | 680f75c00e9e6ee7f49560a8f4509b74b08730ed /src/VeriFuzz/Report.hs | |
| parent | 4cdbcd7570009187954afe0c0308fa1eb4460c55 (diff) | |
| download | verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.tar.gz verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.zip | |
Support multiple reg assigns in if statements
Diffstat (limited to 'src/VeriFuzz/Report.hs')
| -rw-r--r-- | src/VeriFuzz/Report.hs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/VeriFuzz/Report.hs b/src/VeriFuzz/Report.hs index aab318c..15f695d 100644 --- a/src/VeriFuzz/Report.hs +++ b/src/VeriFuzz/Report.hs @@ -31,11 +31,8 @@ module VeriFuzz.Report where import Control.Lens -import Control.Monad.IO.Class -import Control.Monad.Trans.Control (MonadBaseControl) -import Data.ByteString (ByteString) -import Prelude hiding (FilePath) -import Shelly.Lifted (MonadSh) +import Data.ByteString (ByteString) +import Prelude hiding (FilePath) import VeriFuzz.Config import VeriFuzz.Result import VeriFuzz.Sim.Icarus |