diff options
Diffstat (limited to 'src/VeriFuzz')
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 3 | ||||
| -rw-r--r-- | src/VeriFuzz/Sim/Identity.hs | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index 79a46ba..2bf5a78 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -16,6 +16,7 @@ Test case reducer implementation. module VeriFuzz.Reduce ( -- $strategy reduceWithScript + , reduceSynth , reduce , reduce_ , Replacement(..) @@ -36,8 +37,6 @@ import Data.List.NonEmpty (NonEmpty (..)) import qualified Data.List.NonEmpty as NonEmpty import Data.Maybe (mapMaybe) import Data.Text (Text) -import qualified Data.Text as T -import qualified Data.Text.IO as T import Shelly ((<.>)) import qualified Shelly import Shelly.Lifted (MonadSh, liftSh) diff --git a/src/VeriFuzz/Sim/Identity.hs b/src/VeriFuzz/Sim/Identity.hs index 1b88032..bfded0b 100644 --- a/src/VeriFuzz/Sim/Identity.hs +++ b/src/VeriFuzz/Sim/Identity.hs @@ -45,8 +45,7 @@ instance NFData Identity where rnf = rwhnf runSynthIdentity :: Identity -> SourceInfo -> ResultSh () -runSynthIdentity (Identity _ out) src = - writefile out $ genSource src +runSynthIdentity (Identity _ out) = writefile out . genSource defaultIdentity :: Identity defaultIdentity = Identity "identity" "syn_identity.v" |