如何修复 Rodin Platform Event-B 项目中的未知配置 org.animb.valuation.valBase？

How to fix the unknown Configuration org.animb.valuation.valBase in my Rodin Platform Event-B project?

我已经在我最新版本的 Rodin 平台中导入了一个完全精炼的模型，我正在尝试在这个项目中使用 IUMLB 和 ProB 动画师。但是由于该项目已经有一个预配置的 AnimB 动画师，最新的 Rodin 软件不支持它。错误状态 "unknown configuration org.animb.valuation.valBase"。

如何从项目中删除或修复此 AnimB 配置？

我自己设法解决了这个问题 :)。

不是我所有的但是这个特定问题通过在显示错误的文本编辑器中打开文件得到解决，我只是从 eventb.core.configuration 中删除了 org.animb.valuation.valBase，如下所示：

早些时候：

<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">

这解决了我的问题。没有更多的错误 :)

如何修复 Rodin Platform Event-B 项目中的未知配置 org.animb.valuation.valBase？

How to fix the unknown Configuration org.animb.valuation.valBase in my Rodin Platform Event-B project?

modeling

formal-methods

event-b