changeset 46454 | d72ab6bf6e6d |
parent 46453 | 9e83b7c24b05 |
46453:9e83b7c24b05 | 46454:d72ab6bf6e6d |
---|---|
3 MUTABELLE_HOME="$COMPONENT" |
3 MUTABELLE_HOME="$COMPONENT" |
4 |
4 |
5 MUTABELLE_LOGIC=HOL |
5 MUTABELLE_LOGIC=HOL |
6 MUTABELLE_IMPORT_THEORY=Complex_Main |
6 MUTABELLE_IMPORT_THEORY=Complex_Main |
7 MUTABELLE_NUMBER_OF_MUTANTS=4 |
7 MUTABELLE_NUMBER_OF_MUTANTS=4 |
8 MUTABELLE_NUMBER_OF_MUTATIONS=1 |
|
8 |
9 |
9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools" |
10 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools" |