Searched defs:test (Results 1 - 5 of 5) sorted by relevance

/hets/Common/doc/
H A DOverview.tex26 \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 drive
[all...]
/hets/Isabelle/export/
H A Dexport_helper.ml152 val test : cmd list -> (parsed_theory option * string); var
592 val test = initialState #> optional (p (unparse_cmd "header"))
/hets/OWL2/java/lib/
H A Duk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar ... .AtomicBoolean initDone private long KernelId public static final boolean test () private static native void initMethodsFieldsIDs () public void " href="/source ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 22 milliseconds