Project

General

Profile

1.1

open

93%

31 issues   (28 closed — 3 open)

Issues by
Bug

12/14
Feature

6/6
Task

10/11
Related issues
Bug #10023: ru.ispras.retrascope.parser.verilog.VerilogParserTestCase: java.lang.Exception: Method runTest should have no parameters Actions
Bug #10075: jython.jar: WARNING: An illegal reflective access operation has occurred at JDK 11 Actions
Bug #10081: tool hangs right after final "Duration: " msg Actions
Bug #10082: WARNING: Illegal reflective access by org.python.core.PySystemState Actions
Bug #10085: EfsmTransitionPropertyExtractorTestCase: There is no declaration of variable neither in this EFSM nor in its ancestors: process_0.D Actions
Bug #10097: no such method exception: ParameterResolver in all TestCases Actions
Bug #10104: Wiki documentation errata Actions
Bug #10174: nondeterminism at EFSM transitions generation Actions
Bug #10191: java.lang.IllegalArgumentException: Specified target vertex 0 is not part of graph Actions
Bug #10236: efsm-test-generator hangs at opencores/mips16/data_mem.v Actions
Bug #10266: ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinterTestCase.runTest: java.lang.NullPointerException Actions
Bug #10289: ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinterTestCase.runTest: java.lang.OutOfMemoryError: Java heap space Actions
Bug #10336: Incorrect ranges in vhdl/plasma/reg_bank.vhd Actions
Bug #10462: Разработка VCD printer. Тип переменной "NULL" Actions
Feature #10112: '--no-phase' command line option for 'cfg-gadd-transformer' engine Actions
Feature #10115: '--version' command line option Actions
Feature #10116: command line option to check if solvers\model checkers that are used are installed properly Actions
Feature #10125: '--detailed' option for efsm-graphml-printer engine Actions
Feature #10238: VerilogParser: '--library-file' cmdline option Actions
Feature #10287: TestModel: keep top level module name & variables Actions
Task #4877: Разработка конвертера тестовой последовательности в VCD-формат Actions
Task #9911: merge "*/sample/*TestCase" Java test cases Actions
Task #9964: add HDL examples to project distribution Actions
Task #10000: README\ChangeLog -> README.md\ChangeLog.md Actions
Task #10059: mv all the project tests to JUnit 5 platform Actions
Task #10073: fix checkstyle warnings Actions
Task #10128: rename multi-test classes: "*TestCase" -> "*TestSuite" Actions
Task #10133: use '-coi' model checker option Actions
Task #10139: fix coding issues at *BenchTest classes Actions
Task #10166: rename some class fields & related methods Actions
Task #10230: Java version in README.md Actions