diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-02 14:33:08 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 14:33:08 +0100 |
| commit | 372bcb00204d225f4b89cfed33f99a519740dc8e (patch) | |
| tree | 3148a7deb3799c6e9b069a27e4af4787375737eb /examples | |
| parent | be9caab53f6d83afd7132f68697a0329548bf40d (diff) | |
| download | verismith-372bcb00204d225f4b89cfed33f99a519740dc8e.tar.gz verismith-372bcb00204d225f4b89cfed33f99a519740dc8e.zip | |
Add more configuration options and small fix
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 |