Searched refs:output (Results 1 - 25 of 31) sorted by relevance

12

/hets/GMP/CoLoSS/
H A Dtool.php14 $output = shell_exec($command); variable
15 echo "<pre>$output</pre>";
/hets/CASL/
H A Diterate.sh3 for i in *.{casl,output,hs};
/hets/Common/test/
H A Druncheck.sh12 runchecker "Annotations" $i $i.output
13 runchecker "Annos" $i $i.perLine.output
14 runchecker "GlobalAnnos" $i $i.global.output
19 runchecker SortIds MixIds.casl MixIds.casl.asSortIds.output
20 runchecker VarIds MixIds.casl MixIds.casl.asVarIds.output
H A DcheckFunctions.sh53 runchecker $1 $1.$2 $1.$2.output $SET
58 runchecker $1 Wrong$1.$2 Wrong$1.$2.output $SET
H A DMakefile15 output: annos
/hets/CASL/test/
H A Druncheck.sh13 runchecker Terms ../../Common/test/MixIds.casl MixIds.casl.asTerms.output
14 runchecker Terms ../../Common/test/WrongMixIds.casl WrongMixIds.casl.asTerms.output
15 runchecker MixfixTerms Terms.casl Terms.casl.asMixfixTerms.output
16 runchecker MixfixFormula Formula.casl Formula.casl.asMixfixFormula.output
28 runchecker sentences $j $j.output
31 runchecker analysis BasicSpec.casl BasicSpec.analysis.output
32 runchecker signature BasicSpec.casl BasicSpec.signature.output
33 runchecker sentences BasicSpec.casl BasicSpec.sentences.output
H A DMakefile8 output: capa
/hets/HasCASL/test/
H A DMakefile8 output: hacapa
H A Druncheck.sh9 runchecker MixIds ../../Common/test/MixIds.casl MixIds.casl.output
10 runchecker MixIds ../../Common/test/WrongMixIds.casl WrongMixIds.casl.output
11 runchecker BasicSpec ../../CASL/test/BasicSpec.casl BasicSpec.casl.output
12 runchecker MixfixTerms ../../CASL/test/MixfixTerms.casl MixfixTerms.casl.output
13 runchecker MixfixTerms ../../CASL/test/MixfixFormula.casl MixfixFormula.casl.output
21 runchecker BasicSpec BasicSpec.hascasl BasicSpec.hascasl.parser.output
27 runchecker "analysis" $i $i.output
/hets/ToHaskell/test/
H A DMakefile8 output: h2h hacapa
H A Druncheck.sh18 ../../HasCASL/hacapa analysis < $i > $i.output
/hets/test/
H A Dhets-lib-database-reset.sh19 hets --quiet --output-types=db --database-config=$DATABASE_CONFIG --database-subconfig=test --logic-graph
22 hets --quiet --output-types=db --database-file=$DATABASE_FILE --logic-graph
/hets/GUI/doc/
H A DWebInterfaceTests.tex27 \item TestBasic.casl - similar output: OK
28 \item silvia.casl - similar output: OK (valid specification)
34 \item donald.casl - similar output: OK
35 \item fred1.casl - similar output: OK
36 \item frederic.casl - similar output: OK
37 \item import\_test.casl - similar output: OK (ERROR)
38 \item Invoice.casl - not similar output:
84 \item min\_test.casl - similar output: OK
85 \item piotr.casl - similar output: OK (ERROR)
86 \item piotr\_short.casl - similar output
[all...]
/hets/ATC/doc/
H A DATC-Rule-Generation.tex18 output file will be the same as the input plus the special suffix. If there is more than one
19 input file, the output file will have the name of the first of them. Every specific logic
28 \item[-o:] Specifies the output directory, commonly the output directory is \emph{ATC}.
29 If the output directory is the same as the directory from the used file(s) it is supposed
/hets/CASL/doc/
H A DCASLParserOverview.tex46 with corresponding \texttt{*.output} files.
55 with the expected output fails, then also the number of
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
60 \texttt{*.output} files (and a subsequent \texttt{./runcheck.sh ../capa} should
64 files will be overwritten by \texttt{make output}. With \texttt{cvs up} or
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
/hets/Common/doc/
H A DOverview.tex48 many tests and compares the results with corresponding \texttt{*.output}
55 with the expected output fails, then also the number of
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
60 \texttt{*.output} files (and a subsequent \texttt{./runcheck.sh ../annos}
64 files will be overwritten by \texttt{make output}. With \texttt{cvs up} or
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
/hets/FreeCAD/BrepConversion/src/
H A Dbrep_to_xml.cxx290 void BrepToXML::build_xml(const string& what, string& output) argument
326 output = ss.str();
/hets/FreeCAD/specifications/
H A Dgoals.tex52 \item[XML output] for basic \freecad specs that can be used by the FreeCAD import script
/hets/HasCASL/doc/
H A DStaticAna.tex275 environment and diagnostic messages on standard output.
278 \texttt{make output}.
/hets/doc/
H A DUserGuideCommonLogic.tex1332 Axioms:' is filled by \SPASS. The button `Show Details' shows the whole output
1473 \item[\texttt{-O DIR}, \texttt{-{}-output-dir=DIR}]
1474 Specify \texttt{DIR} as destination directory for output files.
1476 \item[\texttt{-o OTYPES}, \texttt{-{}-output-types=OTYPES}]
1477 \texttt{OTYPES} is a comma-separated list of output types:
1530 The output format is XML, the URL of the DTD is included in the
1563 For all output formats it is recommended to increase the verbosity to at least
1577 \item[\texttt{-R}, \texttt{-{}-recursive}] output also imported libraries
1595 dependent output for debugging purposes only
1619 Be quiet -- no diagnostic output a
[all...]
H A DUserGuide.tex414 \item[DMU] is a dummy logic to read output of ``Computer Aided
546 DMU2OWL & interpreting Catia output as OWL \\\hline
755 Furthermore, \texttt{.xml} files are accepted as Catia output if the default
1345 \item[\texttt{-O DIR}, \texttt{--output-dir=DIR}]
1346 Specify \texttt{DIR} as destination directory for output files.
1348 \item[\texttt{-o OTYPES}, \texttt{--output-types=OTYPES}]
1349 \texttt{OTYPES} is a comma separated list of output types:
1378 can be output in this format; support for further logics is planned.
1411 The output format is XML, the URL of the DTD is included in the
1444 For all output format
[all...]
/hets/utils/nightly/
H A Dcronjob.sh306 cats -input=nobin -output=nobin -spec=gen_aterm Basic/SimpleDatatypes.casl
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex92 generated OWL DL output)
/hets/GMP/papers/conditional/
H A Dentcs.cls779 \output@glob@notes % Put notes at bottom of 1st page
811 \def\output@glob@notes{\bgroup

Completed in 6789 milliseconds

12