Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 332 B image not shown  

Quelle  prove-all   Sprache: unbekannt

 
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.16 Sekunden  (vorverarbeitet)  ]