Frama-c镁：无法在Windows上执行WP插件

我使用这里提供的说明安装了frama-c镁版本。 在安装过程中我没有得到任何错误，并在Cygwin打印的Frama-c版本中执行命令frama-c -version ： Magnesium-20151002 。 但是当我在一个非常小的例子上执行-wp插件时，对于使用alt-ergo的目标，我得到以下错误：

1 [main] frama-c 8168 child_info_fork::abort: unable to map C:cygwinusrlocallibframa-cpluginsUsers.cmxs,Win32 error 998 1 [main] frama-c 7956 child_info_fork::abort: unable to map C:cygwinusrlocallibframa-cpluginsValue.cmxs,Win32 error 998

0 [main] frama-c 300 child_info_fork::abort: unable to map C:cygwinusrlocallibframa-cpluginsValue.cmxs,Win32 error 998 [wp] [Alt-Ergo] Goal typed_changeCase_assert_rte_signed_overflow_2 : Failed Error: Resource temporarily unavailable

值插件成功执行。 我search了这个错误，发现了这个post 。 所以我也执行了rebaseall -v命令，但是也没有帮助。 为了确认我的Cygwin没有损坏，我再次安装了Frama-C钠版本，并且能够成功执行WP插件。

如何使用Windowsapp storeAPI计划“蛋计时器”？

Windowspath上的“ ?? ”是什么意思？

我如何让wget安静？

使用Windows MIDI API时遇到问题（播放时无回叫）

VB6 – 如何通过.tlb文件将string传递给用C编写的DLL

任何人都可以帮助我解决这个问题，我们希望能够在Windows上使用Frama-C镁版本？

编辑：机器细节：我试了我的电脑，也在虚拟机上。 在VM上，我执行命令./configure && make and make install来安装frama-c镁。

我在这两台机器上都有32位的Cygwin。 两个Windows都是64位的。

我的机器上的Ocaml版本：4.02.0，VM上的Ocaml版本：4.01.0

我的机器和VM上的Cygwin版本：CYGWIN_NT-6.1-WOW64 1.7.27（0.271 / 5/3）2013-12-09 11:57 i686 Cygwin

从Java运行PSExec不起作用

我如何确保例程按时执行？

应该在UW​​P应用程序中使用哪个命名空间类HttpClient？

在Windows上获得cpu使用率和networking吞吐量的最有效和最基本的方法是什么？

NO ACTIVATE窗口样式

当Frama-C镁被释放时，alt-ergo 1.01还没有存在。 所以当WP的手册提到与alt-ergo 0.99.1+兼容性时，就不能预见将来会发布alt-ergo。

幸运的是，下一个版本（铝）将与alt-ergo 1.01兼容，所以这不应该成为未来的问题。

同时，你应该可以使用alt-ergo 0.99.1。

编辑 ：根据错误信息和进一步的细节，它可能与您的Cygwin版本，从2013年似乎相对较旧， 你的是1.7.27，而我使用的是2.4.1。