arb to spec

fredokun · Jul 2, 2013 · 7470e77 · 7470e77
1 parent b6c27c4
commit 7470e77
Show file tree

Hide file tree

Showing 9 changed files with 19 additions and 0 deletions.
diff --git a/src/examples/binary.arb → src/examples/binary.spec b/src/examples/binary.arb → src/examples/binary.spec
diff --git a/src/examples/binary100000.arb → src/examples/binary100000.spec b/src/examples/binary100000.arb → src/examples/binary100000.spec
diff --git a/src/examples/binary1billion.arb → src/examples/binary1billion.spec b/src/examples/binary1billion.arb → src/examples/binary1billion.spec
diff --git a/src/examples/binary1million.arb → src/examples/binary1million.spec b/src/examples/binary1million.arb → src/examples/binary1million.spec
diff --git a/src/examples/nary.arb → src/examples/nary.spec b/src/examples/nary.arb → src/examples/nary.spec
diff --git a/src/examples/seq.spec b/src/examples/seq.spec
@@ -0,0 +1,10 @@
+
+// grammar file for binary trees (counting leaves and internal nodes)
+// with parameters to obtain trees of size about 100000
+
+set zstart 0.1;
+set min 100;
+set max 200;
+set try 50;
+
+BinNode ::=   SEQ(BinNode) * <z>;
diff --git a/src/examples/seq2.spec b/src/examples/seq2.spec
@@ -0,0 +1,9 @@
+
+// grammar file for binary trees (counting leaves and internal nodes)
+// with parameters to obtain trees of size about 100000
+
+set min 100;
+set max 200;
+set try 500;
+
+Node ::=  Leaf + Node * Node *  SEQ(Node) * <z>;
diff --git a/src/examples/unarybinary.arb → src/examples/unarybinary.spec b/src/examples/unarybinary.arb → src/examples/unarybinary.spec
diff --git a/src/examples/unarybinary2.arb → src/examples/unarybinary2.spec b/src/examples/unarybinary2.arb → src/examples/unarybinary2.spec