From 7053c6117f39d39852b3259c677691b5df6e7c04 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 17 Apr 2019 19:20:56 +0100 Subject: Use new fuzzing technique instead of the old function --- src/VeriFuzz/Verilog.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/VeriFuzz/Verilog.hs') diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs index ae4f82b..4f9fd52 100644 --- a/src/VeriFuzz/Verilog.hs +++ b/src/VeriFuzz/Verilog.hs @@ -16,6 +16,8 @@ module VeriFuzz.Verilog , parseVerilog , procedural , proceduralIO + , proceduralSrc + , proceduralSrcIO , randomMod , GenVerilog(..) , genSource -- cgit