Frama-c Magnesium: unable to execute WP plugin on Windows

Question

I installed the Magna-c Magnesium version using the instructions here . During installation and execution of the frama-c -version in Cygwin of the printed version of Frama-c, I did not get any errors: Magnesium-20151002 . But when I executed the -wp plugin -wp a very small example, for the purposes that alt-ergo , I get the following errors:

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

The Value plugin completed successfully. I searched for the error and found this message. So I also rebaseall -v , but that didn't help either. To confirm that my Cygwin is intact, I installed the Frama-c Sodium version again and was able to successfully execute the WP plugin.

Can someone help me fix this problem, we want to use the Magna-c Magnesium version for Windows?

Edit: Machine Details: I tried this on my computer as well as on the virtual machine. On the VM, I ran ./configure && make and make install to install frama-c Magnesium.

I have a 32-bit Cygwin on both machines. Both Windows are 64-bit.

• Ocaml version on my machine: 4.02.3, Ocaml version on VM: 4.01.0
• version of Cygwin on my machine and on VM: CYGWIN_NT-6.1-WOW64 1.7.27 (0.271 / 5/3) 2013-12-09 11:57 i686 Cygwin

Answer 1

At the time Magna-C Magnesium was released, alt-ergo 1.01 did not exist yet. Therefore, when the WP manual for Magnesium mentioned compatibility with alt-ergo 0.99.1+ , he could not have foreseen that there would be incompatibility with a future future release of alt-ergo.

Fortunately, the next version (Aluminum) will be compatible with alt-ergo 1.01, so this should not be a problem in the future.

Meanwhile, you should be able to use alt-ergo 0.99.1.

Change Based on the error message and more details, this may be due to your version of Cygwin, which seems relatively old, since 2013; yours is 1.7.27, and I am using 2.4.1.