diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:28:21 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:28:21 +0100 |
commit | 0e0dd6ee036c333cd3026917e696cf37996af341 (patch) | |
tree | 3b6e3570f72a5c111db8f8f6ce3430a9cf4de1f3 /src/VeriFuzz/Reduce.hs | |
parent | f984a79a85b4cc5a077fbf0f7ae6ac52a51822e8 (diff) | |
download | verismith-0e0dd6ee036c333cd3026917e696cf37996af341.tar.gz verismith-0e0dd6ee036c333cd3026917e696cf37996af341.zip |
Add NonEmpty to tests
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 3 |
1 files changed, 1 insertions, 2 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) |