如何修复我的Rodin平台Event-B项目中未知的配置org.animb.valuation.valBase？
如何修复我的Rodin平台Event-B项目中未知的配置org.animb.valuation.valBase？
提问于 2019-03-29 23:35:55
我已经在我的最新版本的罗丹平台上导入了一个完全精炼的模型，我正试图在这个项目中使用一个带有ProB动画的IUMLB。但由于该项目已经有一个预先配置的AnimB动画，而最新的罗丹软件不支持。错误状态为"unknown configuration org.animb.valuation.valBase“。
如何从项目中删除或修复此AnimB配置？
回答 1
Stack Overflow用户
回答已采纳
发布于 2019-04-01 18:02:01
我设法自己解决了这个问题:)。
我所拥有的并不是全部，但是这个特定的问题是通过在文本编辑器中打开显示错误的文件修复的，我只是从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">
这解决了我的问题。不再出现错误:)
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/55420858
复制相关文章
相似问题
腾讯云开发者
