Обнаружение ошибок конфигурации с FeatureIDE
Есть ли способ программно обнаруживать ошибки проверки в конфигурационных файлах по сравнению с пользовательскими ограничениями с помощью FeatureIDE? Если это так, как я должен продолжать обнаруживать их и изменять проверенную конфигурацию? Я использую AHEAD как функционально-ориентированный язык.
1 ответ
FeatureIDE использует решатель SAT для автоматического разрешения конфликтов в одной конфигурации. На данный момент нет способа получить больше информации о конфликтах между конфигурациями.