Make variable denylist for error invariants more robust and detailed
Currently, it is possible to ignore certain variables in fault localization with error invariants through configuration option traceformula.disable
. Option traceformula.disable
takes a comma-separated list of variables,
and allows both short-form (e.g., 'x') and qualified form (e.g., 'main::x').
This can be improved in two ways:
-
We do not have to get a comma-separated list of variables that we split ourselves, but just use a list for the configuration option, directly. -
We could make this option less error-prone by disallowing the short-form. If the configuration option's documentation describes the expected form of variables (i.e., "function::varname"), there won't be any accidental exclusion of variables.
Edited by Matthias Kettl