equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # Author: Lukas Bulwahn |
3 # Author: Lukas Bulwahn |
4 # |
4 # |
5 # DESCRIPTION: mutant-testing tool for counterexample generators and automated proof tools |
5 # DESCRIPTION: mutant-testing for counterexample generators and automated tools |
6 |
6 |
7 |
7 |
8 PRG="$(basename "$0")" |
8 PRG="$(basename "$0")" |
9 |
9 |
10 function usage() { |
10 function usage() { |
14 echo " Options are:" |
14 echo " Options are:" |
15 echo " -L LOGIC parent logic to use (default $DEFAULT_MUTABELLE_LOGIC)" |
15 echo " -L LOGIC parent logic to use (default $DEFAULT_MUTABELLE_LOGIC)" |
16 echo " -T THEORY parent theory to use (default $DEFAULT_MUTABELLE_IMPORT_THEORY)" |
16 echo " -T THEORY parent theory to use (default $DEFAULT_MUTABELLE_IMPORT_THEORY)" |
17 echo " -O DIR output directory for test data (default $DEFAULT_MUTABELLE_OUTPUT_PATH)" |
17 echo " -O DIR output directory for test data (default $DEFAULT_MUTABELLE_OUTPUT_PATH)" |
18 echo |
18 echo |
19 echo " THEORY is the name of the theory of which all theorems should be mutated and tested" |
19 echo " THEORY is the name of the theory of which all theorems should be" |
|
20 echo " mutated and tested." |
20 echo |
21 echo |
21 exit 1 |
22 exit 1 |
22 } |
23 } |
23 |
24 |
24 |
25 |