diff options
Diffstat (limited to 'test/Property.hs')
| -rw-r--r-- | test/Property.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/Property.hs b/test/Property.hs index afb1d11..bec740c 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -24,10 +24,10 @@ import Parser (parserTests) import Test.Tasty import Test.Tasty.Hedgehog import Text.Parsec -import VeriSmith -import VeriSmith.Result -import VeriSmith.Verilog.Lex -import VeriSmith.Verilog.Parser +import Verismith +import Verismith.Result +import Verismith.Verilog.Lex +import Verismith.Verilog.Parser randomDAG' :: Gen Circuit randomDAG' = Hog.resize 30 randomDAG |