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: 730a195274ca9426cf26ccf4659708ccda84d4b7 (plain)

[property]
seed = 12345
size = 100

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