General

Profile

Mikhail Lebedev

Issues

Projects

Activity

08/13/2018

03:07 PM Retrascope MC Benchmark Task #9216 (Resolved): remove tests for Verilog Translator from project
03:02 PM Retrascope MC Benchmark Bug #9204 (Verified): Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException
02:59 PM Retrascope MC Benchmark Revision 0b4da49f: veritrans tests removed
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

08/10/2018

03:57 PM Retrascope Revision 2f44d4f1 (retrascope): [smv] bvxorr operation debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
03:47 PM Retrascope MC Benchmark Bug #9205: Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException
Caused by:
@(BVEXTRACT 00000000000000000000000000000111 00000000000000000000000000000111 m1.TaskReq)@
03:38 PM Retrascope MC Benchmark Bug #9205: Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException
The same exception in Texas97PciAbnormHlddSmvPrinterTestCase:...
03:36 PM Retrascope MC Benchmark Bug #9205 (New): Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException
...
03:32 PM Retrascope MC Benchmark Bug #9204 (Closed): Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException
...
03:24 PM Retrascope MC Benchmark Revision b8bd5551: Refactoring, more tests added.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
11:46 AM Retrascope MC Benchmark Bug #9203 (Resolved): ru.ispras.retrascope.basis.HlddAssertSmvTestbenchBenchmarkTest.runTest: java.lang.IllegalArgumentException: 'benchmarks' field is not initialized.

Also available in: Atom