Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
prove-all
Sprache: Unknown
|
provethem="../provethem"
if [ ! -x $provethem ]; then
provethem=`which provethem`
fi
if [ "$provethem" ]; then
$provethem --clean $* nasalib.all
$provethem --log --clearpath --addpath --force $* nasalib.all
else
echo "Directory where PVS is installed must be in the environment variable PATH for this command to work"
fi
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
|
