Allow to overwrite default options specified for verifiers
Nowadays users can't overwrite default options specified for verifiers. This feature assumes this just for CPAchecker since the procedure of merging options does strongly depend on how these options are interpreted by a corresponding verifier.
In addition, it is assumed that all conflicts in options should be resolved by failing processing of a corresponding abstract verification task. For instance, if the user wants to use VTG strategy A that needs CPAchecker configuration A1 and additionally will try to use CPAchecker configuration A2 there should be an unknown report rather than any verification task for CPAchecker.
Updated by Evgeny Novikov about 4 years ago
- Assignee deleted (
- Priority changed from Urgent to High
This feature should be implemented, first, after blocking #7451, second, in a branch from master. Any way we can live without it right now. Soon I will implement a couple of workarounds specially for some seldom use cases to deal with it.
Updated by Vitaly Mordan about 4 years ago
This feature was implemented in branch new_format_of_strategies.
It is possible to use preset configurations (for example, 'bit precision analysis') or specify config by its name. If no configuration was specified, '-ldv' will be used for instrumentation.