index
:
verismith
dev/distance
dev/reducer
develop
feature/hashmap
feature/ignored-constructs
feature/nondeterminism
feature/update-dependencies
fix/remove-DRBG
master
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
examples
/
config.toml
blob: b5957fdb0fa47f46dac141bbefc0933b5e5f8984 (
plain
)
1
2
3
4
5
6
[property]
seed
=
1203
[probability]
assign
=
5
always
=
1