Quelle mktest Sprache: C

#!/bin/sh
#############################################################################
##
#W  mktest              Test the ACE manual examples           Volkmar Felsch
##
#Y  Copyright (C) 2002, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
##  mktest [-f] [-i] [-o] [-d] [-c]
##
##  This procedure runs an automatic test of all examples given in the ACE
##  documentation files.
##
##  More precisely: Let 'file.tex' be one of these files. Then the test
##  function runs all examples given in that file and constructs (in the
##  current directory) a new version 'file.tst' of the given file which is
##  up-to-date with respect to the output of the examples.
##
##  The options have the following meaning:
##
##  If '-f' is specified run a full test (including the 'no test' examples if
##  there are any).
##
##  If '-i' is specified save the input file for the examples in a file
##  'file.in'.
##
##  If '-o' is specified save the output file of the examples in a file
##  'file.out'.
##
##  If '-d' is specified save the differences between the old and the new
##  manual file in a file 'file.dif'.
##
##  If '-d' and '-c' are specified use the context output format of the
##  'diff' command.
##

#############################################################################
##
##  Define the local call of the proper test function.
##
mktest="../../../../doc/test/mktest.sh"

#############################################################################
##
##  Get the options.
##
options=$*

#############################################################################
##
##  Run the test for all documentation files (in some arbitrary order).
##
$mktest $options -r ace ace
$mktest $options install
$mktest $options basics
$mktest $options -r ace options
$mktest $options strategies
$mktest $options -r ace interact
$mktest $options -r ace messages
$mktest $options examples
$mktest $options -r ace moreexamples
$mktest $options otheroptions
$mktest $options manual

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.