diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/config.toml | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/examples/config.toml b/examples/config.toml index 730a195..497afe2 100644 --- a/examples/config.toml +++ b/examples/config.toml @@ -1,10 +1,11 @@ -[property] -seed = 12345 -size = 100 [probability] -assign = 10 -always = 1 -moddecl = 1 -blocking = 1 -nonblocking = 1 + moditem.always = 1 + moditem.assign = 10 + statement.blocking = 5 + statement.conditional = 1 + statement.nonblocking = 1 + +[property] + depth = 3 + size = 50 |