Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-10-02T08:46:35ZOpen-Source Projects
Redmine Verilog Translator - Bug #10512 (New): ADDA162H90A_atop.v line 120:47 mismatched input ':' expect...https://forge.ispras.ru/issues/105122020-10-02T08:46:35ZSergey Smolovsmolov@ispras.ru
<pre>
RROR: L:\work\veritrans\src\test\verilog\hdl-benchmarks\hdl\iwls05\faraday\rtl\DSP\hdl\CODEC\FXADDA162H90A\ADDA162H90A_atop.v line 120:47 mismatched input ':' expecting RPAREN
ERROR: L:\work\veritrans\src\test\verilog\hdl-benchmarks\hdl\iwls05\faraday\rtl\DSP\hdl\CODEC\FXADDA162H90A\ADDA162H90A_atop.v line 157:47 mismatched input ':' expecting RPAREN
ERROR: ru\ispras\verilog\parser\grammar\VerilogTreeBuilder.g: node from after line 117:36 mismatched tree node: <mismatched token: [@2436,3042:3042=':',<19>,120:47], resync=$width(posedgedac_phase_check,400.00:500.00:900.00,0,> expecting <UP>
ERROR: ru\ispras\verilog\parser\grammar\VerilogTreeBuilder.g: node from after line 117:36 mismatched tree node: AST_ATTRIBUTES expecting <UP>
ERROR: ru\ispras\verilog\parser\grammar\VerilogTreeBuilder.g: node from after line 117:36 mismatched tree node: <unexpected: [@2444,3089:3089=')',<276>,120:94], resync=n_flag_dac_phase_overlape> expecting <UP>
</pre> Retrascope Test Suite - Bug #9844 (Rejected): Bash scripts that run side tools (EBMC, SymbiYosys,...https://forge.ispras.ru/issues/98442019-10-02T12:52:00ZSergey Smolovsmolov@ispras.ru
<p>Bash scripts for side tools (EBMC, SymbiYosys, Verilog2SMV) running unable to extract names of several Verilog modules:</p>
<pre>
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PI_BUS/single_master/master2.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PI_BUS/single_master/bus.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PI_BUS/multi_master/master2.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PI_BUS/multi_master/bus.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PPC60X_bus/src/cpu.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PPC60X_bus/src/arbiter.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/texas97/PPC60X_bus/src/mem.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/verilog2smv/VCEGAR/pi_bus/pi_bus.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/verilog2smv/VCEGAR/zaher/zdlx_impl.v_for_pred.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/verilog2smv/VIS/Miim/vMiim_p2.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/verilog2smv/VIS/Miim/vMiim_p1.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/vcegar/miim/vMiim.v
/home/ssedai/projects/retrascope-mc-benchmark/src/main/bash/../benchmarks/vcegar/pi_bus/main_1.v
</pre>
<p>For these modules their top level names are empty. Note, that all the scripts have a precondition: top level name is it's first declared module name.</p>
<p>The problem is in the following code:<br /><pre><code class="shell syntaxhl" data-language="shell"><span class="nv">top_name</span><span class="o">=</span><span class="si">$(</span><span class="nb">echo</span> <span class="s2">"</span><span class="k">${</span><span class="nv">line</span><span class="k">}</span><span class="s2">"</span> | <span class="nb">sed</span> <span class="nt">-n</span> <span class="s1">'s/^module \([a-zA-Z0-9_]*\)[ |(||;].*$/\1/p'</span><span class="si">)</span>
</code></pre></p> Retrascope RISC-V Benchmark - Bug #9477 (New): an "import "DPI-C" function" construction causes V...https://forge.ispras.ru/issues/94772019-02-06T08:47:58ZSergey Smolovsmolov@ispras.ru
<p>The <strong>ru.ispras.verilog.parser.sample.RocketChipSimJtagVerilogPrinterTestCase</strong> test case runs Verilog Translator on <strong>SimJTAG.v</strong> module, that contains the following code:<br /><pre><code class="text syntaxhl" data-language="text">import "DPI-C" function int jtag_tick
(
output bit jtag_TCK,
output bit jtag_TMS,
output bit jtag_TDI,
output bit jtag_TRSTn,
input bit jtag_TDO
);
module SimJTAG #(
parameter TICK_DELAY = 50
)(
input clock,
input reset,
...
</code></pre></p>
<p>The "import function" construction causes the following error:<br /><pre>
ERROR: ..\retrascope-riscv\src\main\verilog\rocket-chip\src\main\resources\vsrc\SimJTAG.v line 3:0 mismatched input 'import' expecting EOF
ERROR: ru/ispras/verilog/parser/grammar/VerilogTreeBuilder.g: node from line 0:0 mismatched tree node: <mismatched token: [@0,71:76='import',<35>,3:0], resync=import"DPI-C"functionintjtag_tick(outputbitjtag_TCK,outputbitjtag_TMS,outputbitjtag_TDI,outputbitjtag_TRSTn,inputbitjtag_TDO);moduleSimJTAG#(parameterTICK_DELAY=50)(inputclock,inputreset,inputenable,inputinit_done,outputjtag_TCK,outputjtag_TMS,outputjtag_TDI,outputjtag_TRSTn,inputjtag_TDO_data,inputjtag_TDO_driven,output[31:0]exit);reg[31:0]tickCounterReg;wire[31:0]tickCounterNxt;assigntickCounterNxt=(tickCounterReg==0)?TICK_DELAY:(tickCounterReg-1);bitr_reset;wire[31:0]random_bits=$random;wire#0.1__jtag_TDO=jtag_TDO_driven?jtag_TDO_data:random_bits[0];bit__jtag_TCK;bit__jtag_TMS;bit__jtag_TDI;bit__jtag_TRSTn;int__exit;reginit_done_sticky;assign#0.1jtag_TCK=__jtag_TCK;assign#0.1jtag_TMS=__jtag_TMS;assign#0.1jtag_TDI=__jtag_TDI;assign#0.1jtag_TRSTn=__jtag_TRSTn;assign#0.1exit=__exit;always@(posedgeclock)beginr_reset<=reset;if(reset||r_reset)begin__exit=0;tickCounterReg<=TICK_DELAY;init_done_sticky<=1'b0;__jtag_TCK=!__jtag_TCK;endelsebegininit_done_sticky<=init_done|init_done_sticky;if(enable&&init_done_sticky)begintickCounterReg<=tickCounterNxt;if(tickCounterReg==0)begin__exit=jtag_tick(__jtag_TCK,__jtag_TMS,__jtag_TDI,__jtag_TRSTn,__jtag_TDO);endendendendendmodule> expecting AST_ROOT
ERROR: Module 'SimJTAG' has not been found
</pre></p>
<p>The same error appears at the following test cases:<br />ru.ispras.verilog.parser.sample.RocketChipSimDtmVerilogPrinterTestCase</p> Retrascope - Bug #8285 (Closed): 0% coverage of EFSM transitions for b01 examplehttps://forge.ispras.ru/issues/82852017-07-10T15:45:51ZSergey Smolovsmolov@ispras.ru
<p>../test/itc99/b01/b01.vhd --target vhdl-testbench:efsm:cgaa --toplevel b01 --assert-smv-file b01.smv --check-method bmc --engine smv-test-parser --overwrite-existing</p> Retrascope - Bug #7097 (Closed): 32-bit constants should be casted to appropriate valueshttps://forge.ispras.ru/issues/70972016-04-21T14:12:30ZSergey Smolovsmolov@ispras.ru
<p>Use <code>verilog.benchmarks</code> auxiliary branch to reproduce this bug:</p>
<pre>
2016.04.21 17:10:40.724. INFO: Retrascope is starting
2016.04.21 17:10:40.728. INFO: Running: verilog-parser
2016.04.21 17:10:40.728. INFO: Options: {v=[/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v], args=/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v --target efsm}
Including file '/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v'
2016.04.21 17:10:40.999. INFO: Storing: cfg
2016.04.21 17:10:40.999. INFO: Running: cfg-cgaa-transformer
2016.04.21 17:10:40.999. INFO: Options: {args=/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v --target efsm, cfg=<cfg>}
2016.04.21 17:10:41.003. INFO: Storing: cgaa
2016.04.21 17:10:41.003. INFO: Running: cgaa-efsm-transformer
2016.04.21 17:10:41.003. INFO: Options: {cgaa=<cgaa>, args=/home/ssedai/projects/retrascope.git/build/resources/test/opencores/mips16/hazard_detection_unit.v --target efsm}
Exception in thread "main" java.lang.IllegalArgumentException: Errors in the expression description: [line 6 column 180: invalid function application, sort mismatch on argument at position 2, (declare-const wb_op_dest (_ BitVec 3))
(declare-const mem_op_dest (_ BitVec 3))
(declare-const decoding_op_src1 (_ BitVec 3))
(declare-const ex_op_dest (_ BitVec 3))
(declare-const decoding_op_src2 (_ BitVec 3))
(assert (and (and (or (= decoding_op_src1 ex_op_dest) (= decoding_op_src1 mem_op_dest) (= decoding_op_src1 wb_op_dest)) (not (= decoding_op_src1 #b00000000000000000000000000000000))) (and (or (= decoding_op_src2 ex_op_dest) (= decoding_op_src2 mem_op_dest) (= decoding_op_src2 wb_op_dest)) (not (= decoding_op_src2 #b00000000000000000000000000000000)))))
(check-sat)
(get-value ( wb_op_dest mem_op_dest decoding_op_src1 ex_op_dest decoding_op_src2))
(get-model)
(exit)
]
at ru.ispras.fortress.expression.ExprUtils.isSAT(ExprUtils.java:389)
at ru.ispras.fortress.expression.ExprUtils.areCompatible(ExprUtils.java:360)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.checkInvCompliance(CgaaEfsmDataExtractor.java:231)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.checkActionReachable(CgaaEfsmDataExtractor.java:217)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.checkConditionsIfNot(CgaaEfsmDataExtractor.java:211)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmDataExtractor.onBasicBlockBegin(CgaaEfsmDataExtractor.java:200)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitBasicBlock(CfgWalker.java:361)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:186)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitCase(CfgWalker.java:353)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:189)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitSwitch(CfgWalker.java:343)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:192)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitCase(CfgWalker.java:353)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:189)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitSwitch(CfgWalker.java:343)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitNode(CfgWalker.java:192)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.visitChildren(CfgDfsWalker.java:72)
at ru.ispras.retrascope.model.cfg.walker.CfgDfsWalker.processChildren(CfgDfsWalker.java:54)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.processStatement(CfgWalker.java:319)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitProcess(CfgWalker.java:305)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitModule(CfgWalker.java:279)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.visitCfgModel(CfgWalker.java:255)
at ru.ispras.retrascope.model.cfg.walker.CfgWalker.start(CfgWalker.java:156)
at ru.ispras.retrascope.engine.cfg.CfgEngine.start(CfgEngine.java:87)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:112)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:207)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:414)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:367)
</pre> Retrascope - Bug #6430 (Closed): b14.vhd: StackOverflowErrorhttps://forge.ispras.ru/issues/64302015-11-13T07:59:26ZSergey Smolovsmolov@ispras.ru
<p>While running the tool with the following options:<br /><pre>
test/itc99-poli2/b14/b14.vhd --target efsm --toplevel b14 --engine cgaa-efsm-transformer --tool-debug-file cgaa-efsm-transformer.log
</pre></p>
<p>it produces the erro below:<br /><pre>
java.lang.StackOverflowError
at java.util.Arrays.hashCode(Arrays.java:3140)
at ru.ispras.fortress.expression.NodeOperation.hashCode(NodeOperation.java:201)
at java.util.Arrays.hashCode(Arrays.java:3140)
at ru.ispras.fortress.expression.NodeOperation.hashCode(NodeOperation.java:201)
...
</pre></p> Retrascope - Bug #6425 (Closed): b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> ...https://forge.ispras.ru/issues/64252015-11-12T10:50:43ZSergey Smolovsmolov@ispras.ru
<p>The HlddXmvPrinter engine crashes on b05.vhd VHDL design with the following error log:</p>
<pre>
2015.11.12 13:47:51.802. INFO: Options: {hldd=<hldd>, args=/home/ssedai/projects/retrascope.svn/build/resources/test/itc99-poli2/b12/b12.vhd --target hldd-xmv --toplevel b12 --output-file b12.smv, assertion=<assertion>}
java.lang.NullPointerException
at ru.ispras.retrascope.engine.hldd.printer.xmv.XmvExprPrinter.getConstant(XmvExprPrinter.java:330)
at ru.ispras.retrascope.engine.hldd.printer.xmv.XmvPrinterUtils.printMaps(XmvPrinterUtils.java:395)
at ru.ispras.retrascope.engine.hldd.printer.xmv.HlddXmvVisitor.onProcessEnd(HlddXmvVisitor.java:378)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitProcess(HlddWalker.java:96)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitModule(HlddWalker.java:81)
at ru.ispras.retrascope.model.hldd.HlddWalker.start(HlddWalker.java:68)
at ru.ispras.retrascope.engine.hldd.printer.xmv.HlddXmvPrinter.start(HlddXmvPrinter.java:89)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:110)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:204)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:380)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:400)
</pre> Retrascope - Bug #6424 (Closed): b05.vhd: line 64: at token "d32_-10": syntax errorhttps://forge.ispras.ru/issues/64242015-11-12T10:37:08ZSergey Smolovsmolov@ispras.ru
<p>The <code>HlddXmvPrinter</code> engine crashes on <code>b05.vhd</code> VHDL design with the following error log:</p>
<pre>
2015.11.12 13:33:52.364. INFO: Running: hldd-xmv-printer
2015.11.12 13:33:52.364. INFO: Options: {hldd=<hldd>, args=../test/itc99-poli2/b05/b05.vhd --target hldd-xmv --toplevel b05 --output-file b05.smv, assertion=<assertion>}
2015.11.12 13:33:52.713. INFO: Storing: xmv
2015.11.12 13:33:52.713. INFO: Retrascope is shutting down
2015.11.12 13:33:52.724. INFO: *** This is nuXmv 1.0.1 (compiled on Mon Nov 17 16:49:54 2014)
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 2014, Fondazione Bruno Kessler
2015.11.12 13:33:52.724. INFO:
2015.11.12 13:33:52.724. INFO: *** For more information on nuXmv see https://nuxmv.fbk.eu
2015.11.12 13:33:52.724. INFO: *** or email to <nuxmv@list.fbk.eu>.
2015.11.12 13:33:52.724. INFO: *** Please report bugs at https://nuxmv.fbk.eu/bugs
2015.11.12 13:33:52.724. INFO: *** (click on "Login Anonymously" to access)
2015.11.12 13:33:52.724. INFO: *** Alternatively write to <nuxmv@list.fbk.eu>.
2015.11.12 13:33:52.724. INFO:
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to NuSMV 2.5.trunk.
2015.11.12 13:33:52.724. INFO: *** For more information on NuSMV see <http://nusmv.fbk.eu>
2015.11.12 13:33:52.724. INFO: *** or email to <nusmv-users@list.fbk.eu>.
2015.11.12 13:33:52.724. INFO: *** Copyright (C) 2010-2014, Fondazione Bruno Kessler
2015.11.12 13:33:52.724. INFO:
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to the CUDD library version 2.4.1
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 1995-2004, Regents of the University of Colorado
2015.11.12 13:33:52.724. INFO:
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to the MiniSat SAT solver.
2015.11.12 13:33:52.724. INFO: *** See http://minisat.se/MiniSat.html
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
2015.11.12 13:33:52.724. INFO: *** Copyright (c) 2007-2010, Niklas Sorensson
2015.11.12 13:33:52.724. INFO:
2015.11.12 13:33:52.724. INFO: *** This version of nuXmv is linked to MathSAT
2015.11.12 13:33:52.724. INFO: *** Copyright (C) 2014 by Fondazione Bruno Kessler
2015.11.12 13:33:52.724. INFO: *** Copyright (C) 2014 by University of Trento
2015.11.12 13:33:52.724. INFO: *** See http://mathsat.fbk.eu
2015.11.12 13:33:52.724. INFO:
2015.11.12 13:33:52.851. INFO:
2015.11.12 13:33:52.851. INFO: file b05.smv: line 64: at token "d32_-10": syntax error
2015.11.12 13:33:52.851. INFO:
2015.11.12 13:33:52.851. INFO:
2015.11.12 13:33:52.851. INFO: file b05.smv: line 64: Parser error
2015.11.12 13:33:52.851. INFO:
2015.11.12 13:33:52.851. INFO: NuSMV terminated by a signal
</pre> Retrascope - Bug #6413 (Closed): b03.vhd: different EFSM extraction statshttps://forge.ispras.ru/issues/64132015-11-09T16:16:30ZSergey Smolovsmolov@ispras.ru
<p>r259</p> Retrascope - Bug #6353 (Closed): Case children of one Switch node can have equal NodeValuehttps://forge.ispras.ru/issues/63532015-10-16T06:21:24ZSergey Smolovsmolov@ispras.ru
<p>On adding new Case child to existing Switch node we should check that other Case nodes do not have equal NodeValue values.</p> Fortress - Bug #5461 (Closed): [arrays] Insufficient arrays supporthttps://forge.ispras.ru/issues/54612014-12-04T06:57:34ZSergey Smolovsmolov@ispras.ru
<p>Реализованная в проекте поддержка массивов имеет два существенных ограничения.</p>
<p>1) radix элементов массива должен совпадать с radix индексов;</p>
<p>2) метод getTypeRadix для MAP всегда возвращает 10.</p>
<p>Эти ограничения, в частности, не позволяют создавать массивы битовых векторов (очень распространенный объект в HDL-описаниях), а также получить для них radix элементов массива.</p>
<p>Проблема 1) частично решена ревизией r715 (теперь все массивы имеют radix=10 для индексов - см. блок TODO), что позволяет успешно обрабатывать код HDL-описаний. Если решение устраивает - можно блок TODO удалить. Если есть необходимость создавать массивы, у которых radix индексов не всегда равен 10, то нужно эту возможность учитывать.</p> Fortress - Bug #5453 (Closed): [arrays] Unexpected solver output: " (INSTQUEUE ((as const (Array ...https://forge.ispras.ru/issues/54532014-11-27T15:46:10ZSergey Smolovsmolov@ispras.ru
<p>При анализе HDL-описаний инструментом Retrascope иногда возникает ошибка со следующим логом:</p>
<p>[log]</p>
<p>java.lang.AssertionError: Unexpected solver output: " (INSTQUEUE ((as const (Array Int Int)) 0))" <br /> at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.solve(Z3TextSolver.java:136)<br /> at ru.ispras.fortress.solver.constraint.ConstraintUtils.solve(ConstraintUtils.java:69)<br /> at ru.ispras.fortress.expression.ExprUtils.isSAT(ExprUtils.java:303)<br /> at ru.ispras.fortress.expression.ExprUtils.areCompatible(ExprUtils.java:288)</p>
<p>[/log]</p>
<p>Ошибка плавающая, т.е. пока не удалось так подобрать аргументы программы, чтобы сделать её воспроизводимой.</p> Retrascope - Bug #5256 (Closed): [cfg][printer][graphml] Не отображать вершины типа Casehttps://forge.ispras.ru/issues/52562014-09-05T12:42:09ZSergey Smolovsmolov@ispras.ru
<p>Необходимо "по-честному" прекратить отображать Case-вершины графа потока управления, поместив значения в Label-поля соответствующих дуг.</p>
<p>Существующее решение данной проблемы неудовлетворительно, т.к. дуги обретают лишние изломы при наложении Layout-ов в редакторе yed.</p> Retrascope - Bug #5096 (Closed): [basis] FileCreator: "Can't create file" errorhttps://forge.ispras.ru/issues/50962014-07-17T13:17:22ZSergey Smolovsmolov@ispras.ru
<p>Если файл уже был когда-то создан, то попытка пересоздать его с помощью метода newFile класса FileCreator приводит к ошибке "Can't create file".</p> Retrascope - Bug #4926 (Closed): [cfg][model] Путаница с наследниками CfgNodehttps://forge.ispras.ru/issues/49262014-05-14T13:01:14ZSergey Smolovsmolov@ispras.ru
<p>Сейчас наследниками CfgNode могут быть как элементы графа потока управления процесса (Cfg, SrcNode, SinkNode, BasicBlock, Condition, Switch, Merge), так и сущности более высокого уровня - Process, Instance, Module.<br />Что ещё хуже, есть принципиальная возможность поместить сущности более высокого уровня в граф потока управления. Это вносит путаницу и является потенциальным источником ошибок.</p>