Move example files to examples directory, add from NWERC 2008.

Author: eldering

README.md

@@ -8,9 +8,11 @@ Checktestdata is a tool to verify the syntactical integrity of test cases in
 programming contests like the ACM ICPC.
 
 It allows you to specify a simple grammar for your testdata input files,
-according to which the testdata is checked.  Two sample scripts
-`hello.ctd` and `fltcmp.ctd` are provided for
-[DOMjudge](https://www.domjudge.org/) sample problems *hello* and *fltcmp*.
+according to which the testdata is checked. In [the examples directory](examples)
+you find two sample scripts `hello.ctd` and `fltcmp.ctd` from the
+[DOMjudge](https://www.domjudge.org/) sample problems *hello* and
+*fltcmp*, and under [examples/nwerc2008](examples/nwerc2008) the
+scripts used for the [NWERC 2008 problemset](http://2008.nwerc.eu/contest/problemset).
 
 ## Grammar specification
 

fltcmp.ctd renamed to examples/fltcmp.ctd

@@ -0,0 +1,9 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  INT(1,100,c) SPACE INT(1,100,d) SPACE INT(0,500,v) NEWLINE
+  REP(v)
+    REGEX("(C|D)",keep) INT(1,100) SPACE
+    REGEX("(C|D)",lose) INT(1,100) NEWLINE
+    ASSERT( keep != lose )
+  END
+END

hello.ctd renamed to examples/hello.ctd

@@ -0,0 +1,5 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  INT(2,100,n) SPACE INT(0,1000000000) NEWLINE
+  REP(n,SPACE) INT(0,1000000000) END NEWLINE
+END

examples/nwerc2008/catdog.ctd

@@ -0,0 +1,7 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  INT(1,20000,n) SPACE INT(0,50000,m) NEWLINE
+  REP(m)
+    INT(1,n,a) SPACE INT(1,n,b) ASSERT(a!=b) NEWLINE
+  END
+END

examples/nwerc2008/easyclimb.ctd

@@ -0,0 +1,4 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  INT(0,10000) NEWLINE
+END

examples/nwerc2008/equivalences.ctd

@@ -0,0 +1,4 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  INT(2,100) NEWLINE
+END

examples/nwerc2008/judge.ctd

@@ -0,0 +1,4 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  REGEX("[][,0-9]+") NEWLINE
+END

examples/nwerc2008/matches.ctd

@@ -0,0 +1,11 @@
+INT(1,100,runs) NEWLINE
+REP(runs)
+  INT(3,100,ni) NEWLINE
+  REP(ni)
+    INT(-1000,1000) SPACE INT(-1000,1000) NEWLINE
+  END
+  INT(3,100,no) NEWLINE
+  REP(no)
+    INT(-1000,1000) SPACE INT(-1000,1000) NEWLINE
+  END
+END