I/O internal error

While running Polyspace Code Prover (R2013b), after the compile phase and about 87% through the Intermediate phase, I get an I/O Exception

exception Bind(Bind) raised.
*** I/O internal error in getc, n=0 on file "#<fd>" at position 7434723
exception Io(Io) raised.

What can I do to avoid or fix this issue?

Answer 1

[Alexandre De Barros]

Hello Alan,

First, I can suggest you to try your verification with the latest version, 14a. If the problem is still there, I suggest you to contact the technical support, and if possible to attach the verification log to your request.

Best regards,

Alex

Answer 2

[Marvin]

Hello, I have the same problem, but with Polyspace Code Prover (R2014a) and about 89% through the Intermediate phase. Until now, I've get this error for 4 times. I get an I/O Exception:

*** I/O internal error in getc, n=0 on file "#<fd>" at position 516860 
exception Io(Io) raised.

What can I do? Is there a fix?

Answer 3

[Alexandre De Barros]

Hi Marvin!

This kind of errors are really "low level" errors, so there is no easy workaround.

Do you see in the log a message like:

 exception SysErr(OS.SysErr(name="No space left on device", syserror=nospc)) raised.

or

 Out of memory.  Unable to allocate heap with 3,981,311,962 bytes.

If yes, this could be a scaling problem.

Having the full log could help, so like Alan I invite you to contact the support and send them the verification log to have a more precise diagnosis.

Best regards,

Alex

Answer 4

[Nikhil Chaudhari]

I Am getting a error while running code in intermediate stage.(2016b) code prver

** C to intermediate language translation - 1 (P_SP) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2)

* I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Exiting. * flags=0x200 System error No such file or directory (noent: No such file or directory) exception Io(Io) raised.