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: 977af8487ff308427e0d149f3f756a42fb9160e2 (plain)

[property]
seed = 12345
size = 100

[probability]
assign = 1
always = 1
blocking = 1
nonblocking = 1