I/O internal error

3 次查看（过去 30 天）
Alan Sorensen
Alan Sorensen 2014-3-12
回答： Nikhil Chaudhari 2018-1-21
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?

请先登录，再回答此问题。

回答（4 个）

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
Marvin
Marvin 2014-11-7
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?
Alexandre De Barros
Alexandre De Barros 2014-11-10
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
Nikhil Chaudhari
Nikhil Chaudhari 2018-1-21
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.

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by