isabelle: src/HOL/Mutabelle/etc/settings@15a8de807f21 (annotated)

41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 41077 diff changeset	1	# -- shell-script -- :mode=shellscript:
9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 41077 diff changeset	2
40975 498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing bulwahn parents: diff changeset	3	MUTABELLE_HOME="$COMPONENT"
498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing bulwahn parents: diff changeset	4
41949 f9a2e10c49cb more conventional Mutabelle settings -- similar to Mirabelle; wenzelm parents: 41308 diff changeset	5	MUTABELLE_LOGIC=HOL
f9a2e10c49cb more conventional Mutabelle settings -- similar to Mirabelle; wenzelm parents: 41308 diff changeset	6	MUTABELLE_IMPORT_THEORY=Complex_Main
46453 9e83b7c24b05 making max_mutants an option that can be changed in the Mutabelle-script bulwahn parents: 42119 diff changeset	7	MUTABELLE_NUMBER_OF_MUTANTS=4
46454 d72ab6bf6e6d making num_mutations a configuration that can be changed with the mutabelle bash command bulwahn parents: 46453 diff changeset	8	MUTABELLE_NUMBER_OF_MUTATIONS=1
40975 498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing bulwahn parents: diff changeset	9
41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 41077 diff changeset	10	ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"