1 2 3 4
import Test.DocTest main = doctest ["-XOverloadedStrings", "-isrc", "src/Test/VeriFuzz/Verilog/Mutate.hs"]