diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-17 11:01:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-17 11:01:11 +0100 |
commit | 98d2c0274578dc0c22da1e6a23aba0dd32cfbe0a (patch) | |
tree | 6eb623c2438025dd0cb4380fee5c4b90a36a5033 /src/VeriFuzz | |
parent | 75e28f3949851f873d86f8aee89bd706153bbd6e (diff) | |
download | verismith-98d2c0274578dc0c22da1e6a23aba0dd32cfbe0a.tar.gz verismith-98d2c0274578dc0c22da1e6a23aba0dd32cfbe0a.zip |
Move Reduce file
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Reduce.hs (renamed from src/VeriFuzz/Sim/Reduce.hs) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Sim/Reduce.hs b/src/VeriFuzz/Reduce.hs index 6dfe757..61b83df 100644 --- a/src/VeriFuzz/Sim/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Sim.Reduce +Module : VeriFuzz.Reduce Description : Test case reducer implementation. Copyright : (c) 2019, Yann Herklotz License : GPL-3 @@ -13,7 +13,7 @@ Test case reducer implementation. {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} -module VeriFuzz.Sim.Reduce +module VeriFuzz.Reduce ( reduce ) where |