我使用这里提供的说明安装了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:\cygwin\usr\local\lib\frama-c\plugins\Users.cmxs, Win32 error 998 1 [main] frama-c 7956 child_info_fork::abort: unable to map C:\cygwin\usr\local\lib\frama-c\plugins\Value.cmxs, Win32 error 998
0 [main] frama-c 300 child_info_fork::abort: unable to map C:\cygwin\usr\local\lib\frama-c\plugins\Value.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插件。
任何人都可以帮助我解决这个问题，我们希望能够在Windows上使用Frama-C镁版本？
编辑：机器细节：我试了我的电脑，也在虚拟机上。 在VM上，我执行命令./configure && make and make install来安装frama-c镁。
我在这两台机器上都有32位的Cygwin。 两个Windows都是64位的。
当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。