config.toml « examples - verismith - Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

about summary refs log tree commit diff stats

path: root/examples/config.toml

blob: 497afe28ed41cba264a62167450c410d3701aa57 (plain)


[probability]
  moditem.always = 1
  moditem.assign = 10
  statement.blocking = 5
  statement.conditional = 1
  statement.nonblocking = 1

[property]
  depth = 3
  size = 50