Add section about configuration file

1 files changed, 38 insertions, 6 deletions

diff --git a/examples/config.toml b/examples/config.toml
index 497afe2..7f030d7 100644
--- a/examples/config.toml
+++ b/examples/config.toml
@@ -1,11 +1,43 @@
 
+[info]
+  commit = "d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094"
+  version = "0.3.0.0"
+
 [probability]
-  moditem.always = 1
-  moditem.assign = 10
-  statement.blocking = 5
+  expr.binary = 5
+  expr.concatenation = 3
+  expr.number = 1
+  expr.rangeselect = 5
+  expr.signed = 5
+  expr.string = 0
+  expr.ternary = 5
+  expr.unary = 5
+  expr.unsigned = 5
+  expr.variable = 5
+  moditem.assign = 5
+  moditem.combinational = 1
+  moditem.instantiation = 1
+  moditem.sequential = 1
+  statement.blocking = 0
   statement.conditional = 1
-  statement.nonblocking = 1
+  statement.forloop = 0
+  statement.nonblocking = 3
 
 [property]
-  depth = 3
-  size = 50
+  module.depth = 2
+  module.max = 5
+  output.combine = false
+  sample.method = "random"
+  sample.size = 10
+  size = 20
+  statement.depth = 3
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"
+
+[[synthesiser]]
+  description = "vivado"
+  name = "vivado"
+  output = "syn_vivado.v"