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

Question

I installed frama-c Magnesium version using instruction provided here . I didn't get any error during installation and executing command frama-c -version in Cygwin printed Frama-c version as: Magnesium-20151002 . But when I executed -wp plugin on a very small example, for the goals which used alt-ergo , I get 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

Value plugin executes successfully. I searched the error and found this post . So I also executed rebaseall -v command, but that too didn't help. To confirm that my Cygwin is not corrupted I installed Frama-c Sodium version again and was able to execute WP plugin successfully.

Can anyone help me fix this issue, we want to be able to use Frama-c Magnesium version on Windows?

Edit: Machine details: I tried it on my computer and also on a VM. On VM, I executed commands ./configure && make and make install to install frama-c Magnesium.

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

1. Ocaml version on my machine: 4.02.3, Ocaml version on VM: 4.01.0
2. Cygwin version 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 Frama-C Magnesium was released, alt-ergo 1.01 did not exist yet. So when the WP manual for Magnesium mentioned compatibility with alt-ergo 0.99.1+ , it could not foresee that there would be an incompatibility with the then future release of alt-ergo.

Fortunately, the next release (Aluminium) 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.

Edit : Based on the error message and further details, it could be related to your Cygwin version, which seems relatively old, from 2013; yours is 1.7.27, while I'm using 2.4.1.