Feature #7466
closedAutomatically change multiple-strategies to separeted in case of 1 rule
0%
Description
It was mentioned before, that strategies, designed to check several rules, are not intended to check one rule. But it would be more convenient for the users, if we automatically replace multiple-strategy to corresponding separated-strategy rather than exit with error message. At this moment 2 such replacements should be considered:
1. MAV -> SBT;
2. MPV -> SBT-SA (SBT with Specification Automaton).
Updated by Evgeny Novikov over 8 years ago
- Category changed from Program fragments generation to Tasks generation
This looks like a workaround instead of fixing multi-aspect verification so that it behaves like single-aspect verification in case of checking single aspect.
Updated by Vitaly Mordan over 8 years ago
MAV and MPV is not intended to behave as separated strategies. It looks redundant to re-implement the separated strategies in MAV/MPV, whereas we can just use the right strategy.
Updated by Vitaly Mordan over 8 years ago
Resolved in branch in new_format_of_strategies for MAV and MPV strategies with rules.
Updated by Evgeny Novikov almost 5 years ago
- Status changed from Resolved to Rejected