Actions
Feature #7466
closedAutomatically change multiple-strategies to separeted in case of 1 rule
Start date:
08/12/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
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).
Actions