Lines Matching defs:test
26 \subsection{Compiling a test program}
42 A test call might be:
44 \texttt{./annos < test/Annotations.casl}
47 \texttt{test} subdirectory. Calling \texttt{./runcheck.sh ../annos} performs
68 The script \texttt{test/checkFunctions.sh} is reused in various other
69 test directories.
96 \item[RunParsers.hs] reusable test driver
100 \item[annos.hs] main test program for ids and annotations
101 \item[test\_parser.hs] (unused) test driver for ids and annotations