Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-08-29T12:38:59ZOpen-Source Projects
Redmine QEMU4V - Bug #12607 (New): missing log problemhttps://forge.ispras.ru/issues/126072023-08-29T12:38:59ZSergey Smolovsmolov@ispras.ru
<p>Sometimes QEMU4V generates zero-size log file upon running at MicroTESK-* projects on Jenkins -- MIPS64, ARM testing.<br />Some investigations should be made.</p> Trace Matcher - Task #12415 (New): use venv to build the toolhttps://forge.ispras.ru/issues/124152023-05-17T08:59:10ZSergey Smolovsmolov@ispras.ru
<p>Now Gradle-based build system uses external pyinstaller. It would be better to create virtual environment (venv) for that task.</p> MicroTESK for PowerPC - Bug #12249 (New): qemu-system-ppc: failed to find romfile "efi-virtio.rom"https://forge.ispras.ru/issues/122492023-03-22T11:26:46ZSergey Smolovsmolov@ispras.ru
<p>The following tests<br /><pre>
AbsTestCase. test
InstructionAluTestCase. test
InstructionBpuTestCase. test
InstructionMmuTestCase. test
</pre><br />fail while using last snapshot of QEMU4V (3.7.0-SNAPSHOT). The error log is:<br /><pre>
Start compilation of instruction_mmu_0000.s ...
/usr/bin/powerpc-linux-gnu-ld: warning: cannot find entry symbol _start; defaulting to 0000000000002000
done.
Start emulation ...
qemu-system-ppc: failed to find romfile "efi-virtio.rom"
</pre></p>
<p>Probably, the problem is in ELF image construction, or in QEMU params.</p> MicroTESK for Plasma - Developer Request #12038 (Resolved): обновление плагина PMD в Gradlehttps://forge.ispras.ru/issues/120382022-11-09T11:18:51ZSergey Smolovsmolov@ispras.ru
<p>В настоящее время в Gradle-based системе сборки проекта используется плагин PMD версии 5.9.0. На нынешнем Jenkins он валится с ошибками.<br />Предлагается либо убрать его вовсе, либо обновить до более работоспособной версии 6.21.0</p>
<p>Для корректного обновления нужно внести следующие изменения в файл build.gradle (ниже приведен вывод git diff для аналогичного коммита в другом проекте):<br /><pre>
@@ -164,8 +164,6 @@ dependencies {
testCompile fileTree(include: ['*.jar'], dir: "${project.projectDir}/build/target/lib/jars")
checkstyle 'com.puppycrawl.tools:checkstyle:6.12.1'
- pmd 'net.sourceforge.pmd:pmd-core:5.4.0'
- pmd 'net.sourceforge.pmd:pmd-java:5.4.0'
}
eclipse {
@@ -246,14 +244,11 @@ checkstyle {
}
pmd {
+ consoleOutput = true
ignoreFailures = true
- ruleSets = [ "java-android,java-basic,java-braces,java-clone,java-codesize,java-controversial,"
- + "java-coupling,java-design,java-empty,java-finalizers,java-imports,java-j2ee,"
- + "java-javabeans,java-junit,java-logging-jakarta-commons,java-logging-java,"
- + "java-migrating,java-migrating_to_13,java-migrating_to_14,java-migrating_to_15,"
- + "java-migrating_to_junit4,java-naming,java-optimizations,java-strictexception,"
- + "java-strings,java-sunsecure,java-typeresolution,java-unnecessary,java-unusedcode"]
- ruleSetFiles = files("config/pmd/java/comments.xml")
+ toolVersion = "6.21.0"
+ ruleSets = ["category/java/bestpractices.xml", "category/java/design.xml", "category/java/documentation.xml",
+ "category/java/errorprone.xml", "category/java/performance.xml", "category/java/security.xml"]
}
</pre></p> Retrascope Test Suite - Task #11018 (New): Verilog duplicate removinghttps://forge.ispras.ru/issues/110182021-11-27T14:19:22ZSergey Smolovsmolov@ispras.ru
<p>Remove Verilog modules that appear in two or more test collections (Texas-97, VCEGAR or Verilog2SMV).</p> Retrascope - Task #10988 (New): lowercase debug messageshttps://forge.ispras.ru/issues/109882021-10-22T15:20:38ZSergey Smolovsmolov@ispras.ruMicroTESK for PowerPC - Bug #10819 (New): Trace Matcher crashes on QEMU4V empty tracehttps://forge.ispras.ru/issues/108192021-04-23T08:23:08ZSergey Smolovsmolov@ispras.ru
<p>Check if QEMU4V trace is not empty before shutting down the emulator.</p> Verilog Translator - Feature #10290 (New): SystemVerilog supporthttps://forge.ispras.ru/issues/102902020-04-20T07:30:43ZSergey Smolovsmolov@ispras.ruQEMU4V - Feature #10088 (New): QEMU4V formatted traces for x86 programshttps://forge.ispras.ru/issues/100882020-02-03T09:07:36ZSergey Smolovsmolov@ispras.ruFortress - Task #10001 (Rejected): SMT-LIBv2 benchmarkshttps://forge.ispras.ru/issues/100012019-12-20T12:41:49ZSergey Smolovsmolov@ispras.ru
<p>Collection of SMT-LIBv2 constraints that were generated by formal verification tools (Retrascope, MicroTESK) + JUnit test cases that solve them.</p> Retrascope Test Suite - Bug #9901 (New): initializationError in some tests after Jenkins updatehttps://forge.ispras.ru/issues/99012019-11-01T08:32:54ZSergey Smolovsmolov@ispras.ru
<p>JDK 11 is used by Jenkins now. It could be the cause of several JUnit test cases falling. Here is an example log:<br /><pre>
java.lang.Exception: The inner class ru.ispras.retrascope.engine.hldd.printer.smv.formula.sample.vcegar.VcegarPjIcram1SmvFormulaPrinterTestCase$TestCase is not static.
at org.junit.runners.BlockJUnit4ClassRunner.validateNoNonStaticInnerClass(BlockJUnit4ClassRunner.java:113)
at org.junit.runners.BlockJUnit4ClassRunner.collectInitializationErrors(BlockJUnit4ClassRunner.java:102)
at org.junit.runners.ParentRunner.validate(ParentRunner.java:355)
at org.junit.runners.ParentRunner.<init>(ParentRunner.java:76)
at org.junit.runners.BlockJUnit4ClassRunner.<init>(BlockJUnit4ClassRunner.java:57)
at org.junit.internal.builders.JUnit4Builder.runnerForClass(JUnit4Builder.java:10)
at org.junit.runners.model.RunnerBuilder.safeRunnerForClass(RunnerBuilder.java:59)
at org.junit.internal.builders.AllDefaultPossibilitiesBuilder.runnerForClass(AllDefaultPossibilitiesBuilder.java:26)
at org.junit.runners.model.RunnerBuilder.safeRunnerForClass(RunnerBuilder.java:59)
at org.junit.internal.requests.ClassRequest.getRunner(ClassRequest.java:26)
at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.runTestClass(JUnitTestClassExecutor.java:78)
at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.execute(JUnitTestClassExecutor.java:58)
at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.execute(JUnitTestClassExecutor.java:38)
at org.gradle.api.internal.tasks.testing.junit.AbstractJUnitTestClassProcessor.processTestClass(AbstractJUnitTestClassProcessor.java:66)
at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.processTestClass(SuiteTestClassProcessor.java:51)
at jdk.internal.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:35)
at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:32)
at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:93)
at com.sun.proxy.$Proxy5.processTestClass(Unknown Source)
at org.gradle.api.internal.tasks.testing.worker.TestWorker.processTestClass(TestWorker.java:117)
at jdk.internal.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:35)
at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
at org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:155)
at org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:137)
at org.gradle.internal.remote.internal.hub.MessageHub$Handler.run(MessageHub.java:404)
at org.gradle.internal.concurrent.ExecutorPolicy$CatchAndRecordFailures.onExecute(ExecutorPolicy.java:63)
at org.gradle.internal.concurrent.ManagedExecutorImpl$1.run(ManagedExecutorImpl.java:46)
at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
at org.gradle.internal.concurrent.ThreadFactoryImpl$ManagedThreadRunnable.run(ThreadFactoryImpl.java:55)
at java.base/java.lang.Thread.run(Thread.java:834)
</pre></p> MicroTESK for Plasma - Task #9889 (Resolved): rm deprecated 'findbugs' plugin from Gradle build s...https://forge.ispras.ru/issues/98892019-10-24T10:21:41ZSergey Smolovsmolov@ispras.ru
<p>Building process fails on Jenkins now:<br /><pre>
> Task :findbugsTest
The following errors occurred during analysis:
Cannot open codebase filesystem:/var/lib/****/.gradle/caches/modules-2/files-2.1/microtesk/microtesk/2.4.44-beta-SNAPSHOT/692befca4eac5612da03471e30156d6bfc376951/microtesk-2.4.44-beta-SNAPSHOT.tar.gz
java.io.IOException: Wrong magic bytes of 1f8b0800 for zip file /var/lib/****/.gradle/caches/modules-2/files-2.1/microtesk/microtesk/2.4.44-beta-SNAPSHOT/692befca4eac5612da03471e30156d6bfc376951/microtesk-2.4.44-beta-SNAPSHOT.tar.gz of 37398687 bytes
At edu.umd.cs.findbugs.classfile.impl.ZipFileCodeBase.<init>(ZipFileCodeBase.java:87)
At edu.umd.cs.findbugs.classfile.impl.ZipCodeBaseFactory.makeZipCodeBase(ZipCodeBaseFactory.java:39)
At edu.umd.cs.findbugs.classfile.impl.ClassFactory.createFilesystemCodeBase(ClassFactory.java:121)
At edu.umd.cs.findbugs.classfile.impl.FilesystemCodeBaseLocator.openCodeBase(FilesystemCodeBaseLocator.java:77)
At edu.umd.cs.findbugs.classfile.impl.ClassPathBuilder.processWorkList(ClassPathBuilder.java:607)
At edu.umd.cs.findbugs.classfile.impl.ClassPathBuilder.build(ClassPathBuilder.java:226)
At edu.umd.cs.findbugs.FindBugs2.buildClassPath(FindBugs2.java:677)
At edu.umd.cs.findbugs.FindBugs2.execute(FindBugs2.java:218)
At org.gradle.api.plugins.quality.internal.findbugs.FindBugsExecuter.runFindbugs(FindBugsExecuter.java:39)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
At java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
At java.base/java.lang.reflect.Method.invoke(Method.java:566)
At org.gradle.process.internal.worker.request.WorkerAction.run(WorkerAction.java:101)
At org.gradle.process.internal.worker.request.WorkerAction.runThenStop(WorkerAction.java:84)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
At java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
At java.base/java.lang.reflect.Method.invoke(Method.java:566)
At org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:35)
At org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
At org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:155)
At org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:137)
At org.gradle.internal.remote.internal.hub.MessageHub$Handler.run(MessageHub.java:404)
At org.gradle.internal.concurrent.ExecutorPolicy$CatchAndRecordFailures.onExecute(ExecutorPolicy.java:63)
At org.gradle.internal.concurrent.ManagedExecutorImpl$1.run(ManagedExecutorImpl.java:46)
At java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
At java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
At org.gradle.internal.concurrent.ThreadFactoryImpl$ManagedThreadRunnable.run(ThreadFactoryImpl.java:55)
At java.base/java.lang.Thread.run(Thread.java:834)
Error scanning ru/ispras/microtesk/model/plasma/BubbleSortTestCase for referenced classes
...
</pre></p>
<p>To fix the issue, remove deprecated 'findbugs' plug-in and all it's usages from 'build.gradle' script.</p> 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 Test Suite - Task #9839 (Rejected): scripts for commercial FV tools runninghttps://forge.ispras.ru/issues/98392019-09-25T13:40:47ZSergey Smolovsmolov@ispras.ru
<p>Scripts for running commerical FV tools on behcmarks. Look at: Spyglass (linter, equivalence checking), Jasper Gold</p> Retrascope Test Suite - Bug #9763 (Closed): missing javadoc headers in Java files of 'ru.ispras.r...https://forge.ispras.ru/issues/97632019-07-21T13:42:02ZSergey Smolovsmolov@ispras.ru