Magnesio Frama-c: impossibile eseguire il plug-in WP su Windows

Question

Ho installato la versione in magnesio frama-c utilizzando le istruzioni fornite here. Non ho ricevuto alcun errore durante l'installazione e il comando di esecuzione frama-c -version nella versione Frama-c Cygwin come: Magnesium-20151002. Ma quando ho eseguito -wp plug-in su un piccolo esempio, per gli obiettivi che ha utilizzato alt-ergo, ottengo i seguenti errori:

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

Valore plug-in viene eseguito correttamente. Ho cercato l'errore e ho trovato questo post. Così ho anche eseguito il comando rebaseall -v, ma anche quello non ha aiutato. Per confermare che il mio Cygwin non è danneggiato ho installato di nuovo la versione di Frama-c Sodium ed è stato in grado di eseguire correttamente il plugin WP.

Qualcuno può aiutarmi a risolvere questo problema, vogliamo essere in grado di utilizzare la versione Frama-c Magnesio su Windows?

Modifica: Dettagli macchina: L'ho provato sul mio computer e anche su una VM. Su VM, ho eseguito i comandi ./configure && make and make install per installare il magnesio frama-c.

Ho Cygwin a 32 bit su entrambe le macchine. Entrambe le finestre sono a 64 bit.

1. versione O'Caml sulla mia macchina: 4.02.3, la versione Ocaml su VM: 4.01.0
2. versione Cygwin sulla mia macchina e su VM: CYGWIN_NT-6.1-WOW64 1.7.27 (0,271/5/3) 2013-12-09 11:57 i686 Cygwin

Answer 1

Nel momento in cui il magnesio Frama-C è stato rilasciato, alt-ergo 1.01 non esisteva ancora. Quindi, quando il WP manual for Magnesium menzionava la compatibilità con alt-ergo 0.99.1+, non poteva prevedere che ci sarebbe stata un'incompatibilità con la futura versione di alt-ergo.

Fortunatamente, la prossima versione (Aluminium) sarà compatibile con alt-ergo 1.01, quindi questo non dovrebbe essere un problema in futuro.

Nel frattempo, dovresti essere in grado di utilizzare alt-ergo 0.99.1.

Edit: in base al messaggio di errore e ulteriori dettagli, si potrebbe essere correlato alla versione Cygwin, che sembra relativamente vecchio, a partire dal 2013; il tuo è 1.7.27, mentre sto usando 2.4.1.