[probability]
  expr.binary = 5
  expr.concatenation = 5
  expr.number = 1
  expr.rangeselect = 5
  expr.signed = 5
  expr.string = 0
  expr.ternary = 5
  expr.unary = 5
  expr.unsigned = 5
  expr.variable = 5
  moditem.assign = 2
  moditem.combinational = 0
  moditem.instantiation = 0
  moditem.sequential = 3
  statement.blocking = 0
  statement.conditional = 1
  statement.forloop = 0
  statement.nonblocking = 2

[property]
  module.depth = 2
  module.max = 5
  size = 20
  statement.depth = 7
  sample.method = "hat"
  sample.size = 10

[[synthesiser]]
  name = "yosys"
  description = "yosys_0.8"
  output = "yosys_0_8.v"
  bin = "/home/ymh15/opt/yosys0.8/bin"

[[synthesiser]]
  name = "yosys"
  description = "yosys_master"
  output = "yosys_master.v"
  bin = "/home/ymh15/.local/bin"