diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:45:31 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:45:31 +0100 |
| commit | f16bde32c50099ef9e161fb9b54b770a8c37a508 (patch) | |
| tree | c7e0badade322ba5e559e22e532d27419c1524d4 /src/Test/VeriFuzz/Internal | |
| parent | 87c6dc6cf92b581273ee273a3a93714a1d32456e (diff) | |
| download | verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.tar.gz verismith-f16bde32c50099ef9e161fb9b54b770a8c37a508.zip | |
Fix documentation and copyright
Diffstat (limited to 'src/Test/VeriFuzz/Internal')
| -rw-r--r-- | src/Test/VeriFuzz/Internal/Gen.hs | 6 | ||||
| -rw-r--r-- | src/Test/VeriFuzz/Internal/Shared.hs | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/Test/VeriFuzz/Internal/Gen.hs b/src/Test/VeriFuzz/Internal/Gen.hs index 8f7462b..fdd958d 100644 --- a/src/Test/VeriFuzz/Internal/Gen.hs +++ b/src/Test/VeriFuzz/Internal/Gen.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Internal.Gen Description : Internal helpers for generation. -Copyright : (c) Yann Herklotz Grave 2018 -License : GPL-3 -Maintainer : ymherklotz@gmail.com +Copyright : (c) 2018-2019, Yann Herklotz Grave +License : BSD-3 +Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental Portability : POSIX diff --git a/src/Test/VeriFuzz/Internal/Shared.hs b/src/Test/VeriFuzz/Internal/Shared.hs index 0e08d5a..f2adda3 100644 --- a/src/Test/VeriFuzz/Internal/Shared.hs +++ b/src/Test/VeriFuzz/Internal/Shared.hs @@ -1,9 +1,9 @@ {-| Module : Test.VeriFuzz.Internal.Shared Description : Shared high level code used in the other modules internally. -Copyright : (c) Yann Herklotz Grave 2018 -License : GPL-3 -Maintainer : ymherklotz@gmail.com +Copyright : (c) 2018-2019, Yann Herklotz Grave +License : BSD-3 +Maintainer : ymherklotz [at] gmail [dot] com Stability : experimental Portability : POSIX |