Bug #5508: [cfg][printer][smv] java.io.IOException - Retrascope - Open-Source Projects

Actions

Copy link

Bug #5508

closed

[cfg][printer][smv] java.io.IOException

Added by Sergey Smolov almost 10 years ago. Updated almost 10 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Mikhail Lebedev

Category:

Target version:

0.1

Start date:

12/16/2014

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

Description

unning: cfg-smv-printer
Options: {args=/home/ssedai/projects/retrascope.svn/trunk/retrascope/src/test/vhdl/itc99-poli2/b01/b01.vhd --target cfg-smv --toplevel b01 --output-file smv\src/test/vhdl/itc99-poli2/b01/b01.smv, cfg=<cfg>}
java.io.IOException: Нет такого файла или каталога
at java.io.UnixFileSystem.createFileExclusively(Native Method)
at java.io.File.createNewFile(File.java:1006)
at ru.ispras.retrascope.basis.FileCreator.newFile(FileCreator.java:61)
at ru.ispras.retrascope.engine.cfg.printer.smv.CfgSmvVisitor.initialize(CfgSmvVisitor.java:67)
at ru.ispras.retrascope.engine.cfg.printer.smv.CfgSmvPrinter.initialize(CfgSmvPrinter.java:73)
at ru.ispras.retrascope.engine.cfg.CfgEngine.start(CfgEngine.java:125)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:199)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:106)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:199)
at ru.ispras.retrascope.Retrascope$Run.start(Retrascope.java:116)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:326)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:347)
at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:148)
at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:73)
at ru.ispras.retrascope.engine.cfg.printer.smv.CfgSmvPrinterTestCase.testCfgSmvPrinter(CfgSmvPrinterTestCase.java:45)