Improve documentation on trace-formula configuration options
Currently, we have correct, but short descriptions of the configuration options on trace formulas for fault localization:
# ban faults with certain variables
faultLocalization.by_traceformula.maxsat.ban = ""
# add initial variable assignments to the pre-condition instead of just using
# failing variable assignments for nondet variables
traceformula.altpre = false
# do not create selectors for this variables (separate by commas)
traceformula.disable = ""
# filter the alternative precondition by scopes
traceformula.filter = "main"
# do not add variables to alternative precondition (separate by commas)
traceformula.ignore = ""
# equal statements on the same line get the same selector
traceformula.uniqueselectors = false
To make it easier for users to understand what each option does, we should provide more details on each option, e.g.,
preconditions for the options to be used (*.maxsat.ban
and traceformula.filter
sound like they are only used if other options are set)
and the effect of an option - possibly with a very small example.