src/HOL/Mutabelle/etc/settings
author wenzelm
Mon, 24 Oct 2022 20:37:32 +0200
changeset 76371 1ac2416e8432
parent 46454 d72ab6bf6e6d
permissions -rw-r--r--
tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;

# -*- 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"