From 372bcb00204d225f4b89cfed33f99a519740dc8e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 2 Apr 2019 14:33:08 +0100
Subject: Add more configuration options and small fix

---
 examples/config.toml | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

(limited to 'examples')

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
-- 
cgit