Skip to content

Commit e41569f

Browse files
authored
setup order book (#43)
* remove verilog out * dummy setup
1 parent b411d7d commit e41569f

File tree

10 files changed

+39
-170
lines changed

10 files changed

+39
-170
lines changed

.gitignore

+2-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,8 @@ vivado/project/
3434
*.backup
3535

3636
# Clash generated files
37-
hdl/clash/generated/
37+
*/clash/generated/
38+
cores/*/verilog
3839

3940
# Build outputs
4041
build/

cores/pipelined_order_book/pipelined-order-book.cabal

+2
Original file line numberDiff line numberDiff line change
@@ -87,6 +87,7 @@ library
8787
hs-source-dirs: src
8888
exposed-modules:
8989
Example.Project
90+
OrderBook.Top
9091
default-language: Haskell2010
9192

9293
-- Builds the executable 'clash', with pipelined-order-book project in scope
@@ -121,6 +122,7 @@ test-suite test-library
121122
main-is: unittests.hs
122123
other-modules:
123124
Tests.Example.Project
125+
Tests.OrderBook.Top
124126
build-depends:
125127
pipelined-order-book,
126128
QuickCheck,
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
module OrderBook.Top where
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
module Tests.OrderBook.Top where
2+
3+
import Clash.Hedgehog.Sized.Unsigned
4+
import qualified Clash.Prelude as C
5+
import qualified Hedgehog as H
6+
import qualified Hedgehog.Gen as Gen
7+
import qualified Hedgehog.Range as Range
8+
import Test.Tasty
9+
import Test.Tasty.Hedgehog
10+
import Test.Tasty.TH
11+
import Prelude
12+
13+
-- dummy hedgehog property
14+
prop :: H.Property
15+
prop =
16+
H.property $ do
17+
let
18+
(1 :: Integer) H.=== (1 :: Integer)
19+
20+
tests :: TestTree
21+
tests = $(testGroupGenerator)
22+
23+
main :: IO ()
24+
main = defaultMain tests

cores/pipelined_order_book/tests/doctests.hs

+1-2
Original file line numberDiff line numberDiff line change
@@ -4,5 +4,4 @@ import System.Environment (getArgs)
44
import Test.DocTest (mainFromCabal)
55

66
main :: IO ()
7-
main = mainFromCabal "my-clash-project" =<< getArgs
8-
7+
main = mainFromCabal "pipelined-order-book" =<< getArgs
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,13 @@
1-
import Prelude
2-
31
import Test.Tasty
4-
52
import qualified Tests.Example.Project
3+
import qualified Tests.OrderBook.Top
4+
import Prelude
65

76
main :: IO ()
8-
main = defaultMain $ testGroup "."
9-
[ Tests.Example.Project.accumTests
10-
]
7+
main =
8+
defaultMain $
9+
testGroup
10+
"."
11+
[ Tests.Example.Project.accumTests,
12+
Tests.OrderBook.Top.tests
13+
]

cores/pipelined_order_book/verilog/Example.Project.topEntity/accum.sdc

-2
This file was deleted.

cores/pipelined_order_book/verilog/Example.Project.topEntity/accum.v

-32
This file was deleted.

cores/pipelined_order_book/verilog/Example.Project.topEntity/accum_shim.cpp

-22
This file was deleted.

cores/pipelined_order_book/verilog/Example.Project.topEntity/clash-manifest.json

-105
This file was deleted.

0 commit comments

Comments
 (0)