diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-24 15:45:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-24 15:45:35 +0100 |
| commit | 14158fc4ef0809adbbf0b7fdd0c0d5e0fafc2435 (patch) | |
| tree | 9109005a77465d3d77d0d696107000bc39601066 /src/VeriFuzz/Fuzz.hs | |
| parent | 7e67a69693c4c0964f488d87dd94f64a2efe5409 (diff) | |
| download | verismith-14158fc4ef0809adbbf0b7fdd0c0d5e0fafc2435.tar.gz verismith-14158fc4ef0809adbbf0b7fdd0c0d5e0fafc2435.zip | |
Fix used wire check for clk
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index e68fc95..f85ab1f 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -121,7 +121,7 @@ synthesis src = do .= applyList (uncurry . SynthStatus <$> synth) (fmap swap resTimes) liftSh $ inspect resTimes where - exec a = toolRun ("synthesisis with " <> toText a) . runResultT $ do + exec a = toolRun ("synthesis with " <> toText a) . runResultT $ do liftSh . mkdir_p . fromText $ toText a pop (fromText $ toText a) $ runSynth a src |