1# -*- shell-script -*- :mode=shellscript:
2
3MUTABELLE_HOME="$COMPONENT"
4
5MUTABELLE_LOGIC=HOL
6MUTABELLE_IMPORT_THEORY=Complex_Main
7MUTABELLE_NUMBER_OF_MUTANTS=4
8MUTABELLE_NUMBER_OF_MUTATIONS=1
9
10ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"
11