Merge branch 'master' into HEADfeature/nondeterminism

1 files changed, 37 insertions, 0 deletions

diff --git a/scripts/config.toml b/scripts/config.toml
new file mode 100644
index 0000000..15e961f
--- /dev/null
+++ b/scripts/config.toml
@@ -0,0 +1,37 @@
+
+[info]
+  commit = "562f0da77e0464bfc21e8753070aec1cf9e60cf2"
+  version = "0.2.0.0"
+
+[probability]
+  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 = 2
+  moditem.combinational = 0
+  moditem.instantiation = 1
+  moditem.sequential = 3
+  statement.blocking = 0
+  statement.conditional = 1
+  statement.forloop = 1
+  statement.nonblocking = 2
+
+[property]
+  module.depth = 2
+  module.max = 5
+  size = 20
+  statement.depth = 5
+  sample.method = "hat"
+  sample.size = 10
+
+[[synthesiser]]
+  description = "yosys"
+  name = "yosys"
+  output = "syn_yosys.v"