products/sources/formale Sprachen/PVS/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: cleanbin-all   Sprache: Unknown

provethem="../provethem"

if [ ! -x $provethem ]; then
    provethem=`which provethem`
fi

if [ "$provethem" ]; then
  $provethem --clean $* 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.1 Sekunden  (vorverarbeitet)  ]