Как исправить неизвестную конфигурацию org.animb.valuation.valBase в моем проекте Rodin Platform Event-B?

Question

Я импортировал полностью уточненную модель в мою последнюю версию платформы Родена, и я пытаюсь использовать IUMLB с аниматором ProB в этом проекте.Но так как в проекте уже был предварительно настроенный аниматор AnimB, который не поддерживается последней версией программного обеспечения Rodin.Ошибка гласит «неизвестная конфигурация org.animb.valuation.valBase».

Как удалить или исправить эту конфигурацию AnimB из проекта?

Answer 1

Мне удалось решить эту проблему самостоятельно :).

Не все, что у меня было, но эта конкретная проблема была исправлена ​​открытием файла в текстовом редакторе, где отображалась ошибка, и я просто удалил org.animb.valuation.valBase из eventb.core.configuration какпоказано ниже:

Ранее:

<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;org.animb.valuation.valBase;de.prob.symbolic.ctxBase;de.prob.units.mchBase" version="3">

Позже:

<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;de.prob.symbolic.ctxBase;de.prob.units.mchBase" version="3">

Это решило мою проблему.Больше ошибок нет :)