| products/sources/formale Sprachen/Isabelle/HOL/Mutabelle/etc/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: settings Sprache: Unknown
|
# -*- shell-script -*- :mode=shellscript:
MUTABELLE_HOME="$COMPONENT" MUTABELLE_LOGIC=HOL MUTABELLE_IMPORT_THEORY=Complex_Main MUTABELLE_NUMBER_OF_MUTANTS=4 MUTABELLE_NUMBER_OF_MUTATIONS=1 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools" [ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ] |