Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-04-08T06:37:12ZOpen-Source Projects
Redmine Retrascope - Bug #10236 (Rejected): efsm-test-generator hangs at opencores/mips16/data_mem.vhttps://forge.ispras.ru/issues/102362020-04-08T06:37:12ZSergey Smolovsmolov@ispras.ru
<pre>
2020.04.04 13:47:13.604. INFO: Retrascope is starting
2020.04.04 13:47:13.604. INFO: Running: verilog-parser
2020.04.04 13:47:13.604. INFO: Options: {args=/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16/data_mem.v --target verilog-testbench --include-path /srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16 --module-name data_mem --engine efsm-test-generator:test-verilog-testbench-printer --overwrite --loop-limit 5, v=[/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16/data_mem.v]}
2020.04.04 13:47:13.648. INFO: Storing: cfg
2020.04.04 13:47:13.648. INFO: Running: cfg-gadd-transformer
2020.04.04 13:47:13.648. INFO: Options: {args=/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16/data_mem.v --target verilog-testbench --include-path /srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16 --module-name data_mem --engine efsm-test-generator:test-verilog-testbench-printer --overwrite --loop-limit 5, cfg=<cfg>}
2020.04.04 13:47:13.773. INFO: Clock-like variables (CLV): data_mem.clk.
2020.04.04 13:47:13.774. INFO: Storing: gadd
2020.04.04 13:47:13.774. INFO: Running: gadd-efsm-transformer
2020.04.04 13:47:13.774. INFO: Options: {args=/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16/data_mem.v --target verilog-testbench --include-path /srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16 --module-name data_mem --engine efsm-test-generator:test-verilog-testbench-printer --overwrite --loop-limit 5, gadd=<gadd>}
2020.04.04 13:47:13.802. INFO: Execution path number: 264
2020.04.04 13:47:13.802. INFO: ======================================
2020.04.04 13:47:13.802. INFO: Transforming the process 'data_mem process'.
2020.04.04 13:47:13.802. INFO: State-like variables: <none>.
2020.04.04 13:47:13.802. INFO: Model states number: 1.
2020.04.04 13:47:13.802. INFO: Model transitions number: 1.
2020.04.04 13:47:13.802. INFO: ======================================
2020.04.04 13:47:13.802. INFO: Transforming the process 'data_mem process (posedge of data_mem.clk)'.
2020.04.04 13:47:13.802. INFO: State-like variables: <none>.
2020.04.04 13:47:19.833. INFO: Model states number: 262.
2020.04.04 13:47:19.833. INFO: Model transitions number: 519.
2020.04.04 13:47:19.833. INFO: ======================================
2020.04.04 13:47:19.833. INFO: Transforming the process 'data_mem process'.
2020.04.04 13:47:19.833. INFO: State-like variables: <none>.
2020.04.04 13:47:19.833. INFO: Model states number: 1.
2020.04.04 13:47:19.833. INFO: Model transitions number: 1.
2020.04.04 13:47:19.833. INFO: ======================================
2020.04.04 13:47:19.833. INFO: The number of extracted models: 3.
2020.04.04 13:47:19.833. INFO: The total number of states: 264.
2020.04.04 13:47:19.834. INFO: The total number of transitions: 521.
2020.04.04 13:47:19.834. INFO: ======================================
2020.04.04 13:47:19.834. INFO: The initial state for data_mem process (40bc96d3): node=true phase=0
2020.04.04 13:47:19.834. INFO: ======================================
2020.04.04 13:47:19.834. INFO: The initial state for data_mem process (posedge of data_mem.clk) (6b3c814f): node=true phase=0
2020.04.04 13:47:20.002. WARNING: Can't find resetting transition for data_mem process (posedge of data_mem.clk) (6b3c814f)
2020.04.04 13:47:20.002. WARNING: The extracted EFSM is not single testable: data_mem process (posedge of data_mem.clk) (6b3c814f)
2020.04.04 13:47:20.002. WARNING: The initial state is selected arbitrarily: node=true phase=0
2020.04.04 13:47:20.002. INFO: ======================================
2020.04.04 13:47:20.019. INFO: The initial state for data_mem process (1ef0e6ca): node=true phase=0
2020.04.04 13:47:20.020. WARNING: Can't find resetting transition for data_mem process (1ef0e6ca)
2020.04.04 13:47:20.020. WARNING: The extracted EFSM is not single testable: data_mem process (1ef0e6ca)
2020.04.04 13:47:20.020. WARNING: The initial state is selected arbitrarily: node=true phase=0
2020.04.04 13:47:20.020. INFO: ======================================
2020.04.04 13:47:20.020. INFO: Storing: efsm
2020.04.04 13:47:20.020. INFO: Running: cfg-cfginterface-extractor
2020.04.04 13:47:20.020. INFO: Options: {args=/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16/data_mem.v --target verilog-testbench --include-path /srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16 --module-name data_mem --engine efsm-test-generator:test-verilog-testbench-printer --overwrite --loop-limit 5, cfg=<cfg>}
2020.04.04 13:47:20.020. INFO: Storing: cfg-iface
2020.04.04 13:47:20.020. INFO: Running: efsm-test-generator
2020.04.04 13:47:20.020. INFO: Options: {args=/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16/data_mem.v --target verilog-testbench --include-path /srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/opencores/mips16 --module-name data_mem --engine efsm-test-generator:test-verilog-testbench-printer --overwrite --loop-limit 5, efsm=<efsm>}
2020.04.04 13:47:20.020. INFO: EFSM.TestGenerator: module data_mem: starting test generation
2020.04.04 13:47:20.024. WARNING: The efsm can't be tested as a single one: data_mem process (posedge of data_mem.clk) (6b3c814f)
2020.04.04 13:47:20.024. WARNING: The efsm can't be tested as a single one: data_mem process (1ef0e6ca)
2020.04.04 13:47:20.024. WARNING: Wrong init value for 'data_mem.ram_addr': (BVEXTRACT 7 0 data_mem.mem_access_addr)
2020.04.04 13:47:20.024. WARNING: The efsm can't be tested as a single one: data_mem process (posedge of data_mem.clk) (6b3c814f)
2020.04.04 13:47:20.024. WARNING: The efsm can't be tested as a single one: data_mem process (1ef0e6ca)
2020.04.04 13:47:20.027. WARNING: Wrong init value for 'data_mem.ram_addr': (BVEXTRACT 7 0 data_mem.mem_access_addr)
</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 - Task #6412 (Rejected): engine combining HLDD & assertion modelhttps://forge.ispras.ru/issues/64122015-11-09T10:48:09ZSergey Smolovsmolov@ispras.ru
<p>Engine that combines HLDD and AssertionModel.</p> Retrascope - Bug #5684 (Rejected): computeExpression -> LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGI...https://forge.ispras.ru/issues/56842015-03-04T14:15:28ZSergey Smolovsmolov@ispras.ru
<p>I've tried to add the "example" project to the Retrascope's test suite (in fact, I've tried to uncomment corresponding lines in the VhdlFiles class).<br />Upon "test.vhd" I've got an error.</p>
<p>Tool arguments: src/test/vhdl/example/test.vhd --target test --toplevel test --engine efsm-test-generator</p>
<p>Error log:</p>
<pre>
2015.03.04 17:04:41.337. INFO: EFSM.TestGenerator: starting a new sequence
2015.03.04 17:04:41.338. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: resetting EFSM
2015.03.04 17:04:41.338. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: generating a new input vector
2015.03.04 17:04:41.339. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: resetting the EFSM
2015.03.04 17:04:41.362. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: the guarded action has been enabled successfully. Input vector: {events: {CLK}; transaction: {RESET = false}}
2015.03.04 17:04:41.362. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: the EFSM has been reset successfully
2015.03.04 17:04:41.363. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: processing the events: {CLK}
2015.03.04 17:04:41.363. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: input dump: {RESET = false}
2015.03.04 17:04:41.383. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: initialising the simulator. The reset guarded action: {{CLK}: {predicate: (NOT RESET)}->{{assignment: C[0:0] := false; assignment: C[0:0] := false}}}
2015.03.04 17:04:41.403. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: the reset guard is enabled
2015.03.04 17:15:05.161. ERROR: The exception has been encountered: java.lang.IllegalArgumentException: Uncompatible data types: LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.computeExpression(EfsmSimulator.java:733)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAssignment(EfsmSimulator.java:678)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAction(EfsmSimulator.java:577)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.initialise(EfsmSimulator.java:301)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.processEvents(EfsmSimulator.java:260)
at ru.ispras.retrascope.engine.efsm.generator.test.RandomGenerator.submitVector(RandomGenerator.java:133)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:200)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:66)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:106)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
at ru.ispras.retrascope.Retrascope$Run.start(Retrascope.java:116)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:333)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:355)
at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:148)
at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:73)
at ru.ispras.retrascope.util.HdlUtilTest.runVhdl(HdlUtilTest.java:94)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGeneratorVhdlTestCase.generate(EfsmTestGeneratorVhdlTestCase.java:32)
</pre>
<p>The cause is that when <code>x</code> is array of type <code>MAP(x,y)</code>, the <code>x[i]</code> element of array <code>x</code> is of type <code>y</code>, not of type <code>MAP(x,y)</code>.</p> Retrascope - Bug #5648 (Rejected): EfsmSimulator.executeAssignment -> Unsupported data type of ra...https://forge.ispras.ru/issues/56482015-02-22T16:18:15ZSergey Smolovsmolov@ispras.ru
<p>Command line arguments: src\test\vhdl\itc99-poli2\b12\b12.vhd --target test --toplevel b12 --engine efsm-fate-test-generator</p>
<pre>
java.lang.IllegalArgumentException: Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAssignment(EfsmSimulator.java:623)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAction(EfsmSimulator.java:578)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.initialise(EfsmSimulator.java:300)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.processEvents(EfsmSimulator.java:259)
at ru.ispras.retrascope.engine.efsm.generator.test.fate.RandomFateGenerator.generateInputVectorRandomly(RandomFateGenerator.java:194)
at ru.ispras.retrascope.engine.efsm.generator.test.fate.RandomFateGenerator$RandomFateSequenceIterator.next(RandomFateGenerator.java:506)
at ru.ispras.retrascope.engine.efsm.generator.test.fate.RandomFateGenerator$RandomFateSequenceIterator.next(RandomFateGenerator.java:490)
at ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator.start(EfsmFateTestGenerator.java:264)
at ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator.start(EfsmFateTestGenerator.java:51)
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:115)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:331)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:353)
</pre> Retrascope - Task #5507 (Rejected): [engine][basis] implement PrinterEnginehttps://forge.ispras.ru/issues/55072014-12-16T14:34:33ZSergey Smolovsmolov@ispras.ru
<p>Implement PrinterEngine as basic class for all the engines that are from 'Printer' category - stores an input data into file.</p> Retrascope - Task #5320 (Rejected): [cfg] Методы копирования вершин CFGhttps://forge.ispras.ru/issues/53202014-10-08T05:23:15ZSergey Smolovsmolov@ispras.ru
<p>Реализовать методы копирования узлов CFG-представления по аналогии сс методами копирования наследников класса Node (проект Fortress).<br />Методы необходимо применять для преобразований CFG-модели (построение GADD-диаграммы, расщепление условий и т.п.)</p> Retrascope - Bug #5263 (Rejected): [efsm][generator][test] EfsmTestGeneratorTestCase -> java.lang...https://forge.ispras.ru/issues/52632014-09-11T10:29:41ZSergey Smolovsmolov@ispras.ru
<p>Тест падает спустя два часа работы с ошибкой:</p>
<p><code>java.lang.OutOfMemoryError: Java heap space</code></p>
<p>Характеристики машины, на которой выполнялся тест:</p>
<p>cpu: AMD Athlon(tm) 64 X2 Dual Core Processor 4200+, 2211 MHz<br />RAM: 2 GB</p> Fortress - Task #5259 (Rejected): [build] удаление папки distr при выполнении команды ant cleanhttps://forge.ispras.ru/issues/52592014-09-09T14:27:29ZSergey Smolovsmolov@ispras.ru
<p>При выполнении команды ant clean не удаляется папка distr. Стоило бы это делать.</p> Retrascope IDE - Task #5127 (Rejected): [cfg][printer][graphml] Интегрировать плагин для yEdhttps://forge.ispras.ru/issues/51272014-07-22T13:04:48ZSergey Smolovsmolov@ispras.ru
<p>Сейчас Retrascope IDE умеет генерировать *.graphml-файлы, но не обладает средствами для их просмотра в среде Eclipse.<br />Это неудобно.<br />Предлагаю интегрировать в Retrascope IDE плагин для работы с GraphML-изображениями.<br />Возможно, этот плагин будет полезен и для автоматического применения layout'ов к этим изображениям (а то неудобно каждый раз выставлять его вручную).</p>
<p>Краткий мануал по плагину доступен тут: <a class="external" href="http://kb.yworks.com/article26.html">http://kb.yworks.com/article26.html</a></p> Retrascope - Bug #5004 (Rejected): [efsm][simulator][execution] ReferenceEfsmTestGeneratorTest.ja...https://forge.ispras.ru/issues/50042014-06-21T08:58:42ZSergey Smolovsmolov@ispras.ru
<p>Тест падает со следующей ошибкой:</p>
<p>java.lang.RuntimeException: An error occured while trying to resolve a constraint.<br /> at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputsForGuardedAction(ReferenceEfsmTestGenerator.java:389)<br /> at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.tryToTraverseTransition(ReferenceEfsmTestGenerator.java:339)<br /> at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputVectorRandomly(ReferenceEfsmTestGenerator.java:204)<br /> at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateSequenceRandomly(ReferenceEfsmTestGenerator.java:188)<br /> at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.start(ReferenceEfsmTestGenerator.java:155)<br /> at ru.ispras.retrascope.engine.efsm.simulator.execution.ReferenceEfsmTestGeneratorTest.generate(ReferenceEfsmTestGeneratorTest.java:39)<br /> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)<br /> at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)<br /> at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)<br /> at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)<br /> at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)<br /> at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)<br /> at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)<br /> at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:28)<br /> at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:76)<br /> at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)<br /> at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)<br /> at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)<br /> at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)<br /> at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)<br /> at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)<br /> at org.junit.runners.ParentRunner.run(ParentRunner.java:236)<br /> at org.junit.runner.JUnitCore.run(JUnitCore.java:157)<br /> at com.intellij.junit4.JUnit4IdeaTestRunner.startRunnerWithArgs(JUnit4IdeaTestRunner.java:74)<br /> at com.intellij.rt.execution.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:211)<br /> at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:67)<br /> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)<br /> at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)<br /> at com.intellij.rt.execution.application.AppMain.main(AppMain.java:134)</p> Retrascope - Task #4929 (Rejected): [cfg][model] Добавить структуру данных для представления заде...https://forge.ispras.ru/issues/49292014-05-14T13:08:45ZSergey Smolovsmolov@ispras.ruRetrascope - Bug #4928 (Rejected): [cfg] Range может состоять из нескольких участковhttps://forge.ispras.ru/issues/49282014-05-14T13:07:39ZSergey Smolovsmolov@ispras.ru
<p>Range может быть составным и содержать несколько непересекающихся "подмассивов" (в том числе длины 1).</p> Retrascope - Task #4927 (Rejected): [cfg][model] Убрать узел типа ASSERThttps://forge.ispras.ru/issues/49272014-05-14T13:05:44ZSergey Smolovsmolov@ispras.ru
<p>Инструкция типа ASSERT должна быть преобразована в подграф, содержащий Switch.<br />Switch содержит два дочерних узла A и B. Узел A типа Condition содержит условие assertion'а; для него дочерним узлом будет следующий блок в графе потока управления.<br />Узел B типа Condition содержит отрицание условия assertion'а; для него дочерним узлом будет SinkNode процесса.</p> Retrascope - Task #4359 (Rejected): [cfg] Реализовать метод toConstraint()https://forge.ispras.ru/issues/43592013-07-16T12:29:10ZSergey Smolovsmolov@ispras.ru
<p>Метод нужно реализовать в следующих классах: Substitution, Statement, BasicBlock, ControlFlowGraph.</p>