1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
{ mkDerivation, alex, array, base, binary, blaze-html, bytestring
, Cabal, cabal-doctest, criterion, cryptonite, deepseq, DRBG
, exceptions, fgl, fgl-visualize, filepath, gitrev, hedgehog
, hedgehog-fn, lens, lifted-base, memory, monad-control
, optparse-applicative, parsec, prettyprinter, random
, recursion-schemes, shakespeare, shelly, statistics, stdenv, tasty
, tasty-hedgehog, tasty-hunit, template-haskell, text, time
, tomland, transformers, transformers-base, unordered-containers
, vector
}:
mkDerivation {
pname = "verifuzz";
version = "0.3.1.0";
src = ./.;
isLibrary = true;
isExecutable = true;
setupHaskellDepends = [ base Cabal cabal-doctest ];
libraryHaskellDepends = [
array base binary blaze-html bytestring cryptonite deepseq DRBG
exceptions fgl fgl-visualize filepath gitrev hedgehog lens
lifted-base memory monad-control optparse-applicative parsec
prettyprinter random recursion-schemes shakespeare shelly
statistics template-haskell text time tomland transformers
transformers-base unordered-containers vector
];
libraryToolDepends = [ alex ];
executableHaskellDepends = [ base ];
testHaskellDepends = [
base fgl hedgehog hedgehog-fn lens parsec shakespeare tasty
tasty-hedgehog tasty-hunit text
];
benchmarkHaskellDepends = [ base criterion lens ];
homepage = "https://github.com/ymherklotz/VeriFuzz#readme";
description = "Random verilog generation and simulator testing";
license = stdenv.lib.licenses.bsd3;
}
|
