Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692022-05-11T15:13:51ZOpen-Source Projects
Redmine Klever - Bug #11586 (Closed): Operator cannot modify job fileshttps://forge.ispras.ru/issues/115862022-05-11T15:13:51ZPavel Andrianovandrianov@ispras.ru
<p>Now 'operator' role can just restart an existed job. He can create a new version of a job, and cannot modify new version of job files. So, for now the role looks useless.</p> Klever - Feature #11450 (Closed): Forbid creating job directories for users without permissionshttps://forge.ispras.ru/issues/114502022-03-01T07:56:01ZPavel Andrianovandrianov@ispras.ru
<p>Now a guest user (a new registered, for example) can create job directories. This should be forbidden until an admin grants the corresponding rights.</p>
<p>In general, all modifications must not be possible, without direct and clear granting the rights. A potential idea for implementation is to block new users from login. And after some aprove from an admin or granting some rights, they will be able to login.</p>
<p>There is also a minor problem with access to names of real jobs. So, one can not open a job without rights, but it can see its name in the parent directory.</p> Klever - Bug #10826 (New): Klever uploads witnesses very slowhttps://forge.ispras.ru/issues/108262021-04-28T18:01:52ZPavel Andrianovandrianov@ispras.ru
<p>Right now verification takes about 20 minutes and then Klever uploads 400 witnesses about 4 hours. Previous version of Klever uploaded them about an hour, but it is also not very fast.</p> Klever - Bug #10824 (Closed): Producer can not get the status of solving jobhttps://forge.ispras.ru/issues/108242021-04-26T09:31:02ZPavel Andrianovandrianov@ispras.ru
<p>I created a specific user for starting jobs via CLI. It successfully sends the request with <code>klever-start-preset-solution</code>, but <code>klever-download-progress</code> returns an error, that <code>You do not have permission to perform this action</code>. Manager role works. Seems, producer should be allowed to get the status.</p> Klever - Bug #10784 (Closed): Klever fails with "identifier: Ensure this field has no more than 2...https://forge.ispras.ru/issues/107842021-04-01T08:09:29ZPavel Andrianovandrianov@ispras.ru
<p>I launched a job, some tasks were successfully solved, but at some point I had decision(corrupted) and error message "identifier: Ensure this field has no more than 255 characters."</p> Klever - Feature #10782 (Closed): Generating link for job comparisonhttps://forge.ispras.ru/issues/107822021-03-31T14:47:48ZPavel Andrianovandrianov@ispras.ru
<p>We need a feature to launch a job with Klever CLI and then, if there is a difference, generate a link for job comparison. Now, to create the link one need to use Web-interface, choose the corrseponding jobs and click "compare". And if one places the identifiers manually, it does not work.</p> Klever - Feature #10745 (New): Unclear EMG error messageshttps://forge.ispras.ru/issues/107452021-03-10T13:54:56ZPavel Andrianovandrianov@ispras.ru
<p>Error messages should be helpful for developers to locate the problems in specifications. Will add here unclear cases, which may be improved.</p>
<p>1. <pre>
File "/home/alpha/git/klever/venv/lib/python3.7/site-packages/klever/core/vtg/emg/common/c/types/__init__.py", line 435, in _to_string
return self._ast['specifiers']['type specifier']['name']
KeyError: 'type specifier'
ValueError: Cannot parse declaration hci_uart_register_proto(*%hci_uart_proto.proto%)
</pre></p>
<p>The problem was due to mistake in category name, so <code>hci_uart_proto</code> is absent. Some message like <code>"hci_uart_proto is not found"</code> expected.</p> Klever - Bug #10708 (Closed): EMG misses deregistration of pm_ops in removehttps://forge.ispras.ru/issues/107082021-02-09T13:27:37ZPavel Andrianovandrianov@ispras.ru
<p>After successful probe of the platform_device, pm_ops are also registered. But after removing it, pm_ops are just suspended (in environment model). For races it means, that pm_ops thread is still active and the next probe operation will work in parallel with the first pm_ops. So, a normal deregistration of pm_ops (with pthread_join inside for races) is required.</p> Klever - Feature #10684 (New): References to sources sometimes are shown under the border of sour...https://forge.ispras.ru/issues/106842021-01-26T12:51:25ZPavel Andrianovandrianov@ispras.ru
<p>If a target function is below then half of the sources area (right one) on the error trace page, the popup menu with references is appeared under the border (see the attachment). Its not convenient.</p> Klever - Bug #10648 (New): Useless double assignment in EMGhttps://forge.ispras.ru/issues/106482020-12-28T08:24:41ZPavel Andrianovandrianov@ispras.ru
<p>In emg_register_netdev there is a double assignment like<br /><code>emg_7_ret = ldv_undef_int();</code></p>
<p>Seems, one of them is useless and may be removed to simplify the code.</p> Klever - Feature #10640 (New): Add an ability to show difference of coverage reportshttps://forge.ispras.ru/issues/106402020-12-23T12:21:53ZPavel Andrianovandrianov@ispras.ru
<p>If you have two similar launches, for example, for two kernel configurations, you may need to look at difference, particularly in coverage data.</p>
<p>I know that it may be implemented as subtraction, as in Kedr by Andrey Tsivarev. However, it is possible to create something different, as the Klever has more powerful visualization than Lcov.</p> Klever - Feature #10631 (New): Compress the space for lightweight mark on the Unsafe pagehttps://forge.ispras.ru/issues/106312020-12-21T09:58:23ZPavel Andrianovandrianov@ispras.ru
When a user wants to create a lightweight mark, he needs to scroll the page, as the lightweight mark information takes a lot of space. For example, the first line contains a lot of free space but only two check columns: verdict and status (only for bugs), comment line is likely unused. The idea is to compress the information, for example:
<ul>
<li>move tags to the first line</li>
<li>remove the comment</li>
<li>decrease "description" area, as mostly only one sentence is put there</li>
<li>caption "tags" is not necessary, as the description is placed inside the list</li>
<li>caption "description" also may be placed inside the text box as for comment. </li>
<li>move the buttons to the "description" line</li>
<li>maybe, remove "Cancel" at all. Does somebody use it?</li>
</ul>
<p>Maybe, not all changes suit for other users and we need to discuss the view separately.</p> Klever - Feature #10630 (Closed): Improve auto-search of tagshttps://forge.ispras.ru/issues/106302020-12-21T05:25:36ZPavel Andrianovandrianov@ispras.ru
<p>As there are a lot of tags now, it is helpful, when they are searched by a couple of letters. Right now the search is possible only from start: "Verifier - CPALockator - ..". It is helpful, if there is an ability to search by any part of tag.</p> Klever - Feature #10629 (New): Move "attributes" and "code coverage data" from the center of unsa...https://forge.ispras.ru/issues/106292020-12-21T05:19:08ZPavel Andrianovandrianov@ispras.ru
<p>Consider unsafe page. Attributes and code coverage data are used less then operations with error trace and marks, but the buttons are located in the center. The suggestion is to move them (together with resources - monitor image) either after marks table or to the top of the page. Then marks will be closer to unsafe, and it is more convenient.</p> Klever - Bug #10612 (Open): View names are not shown for a userhttps://forge.ispras.ru/issues/106122020-12-08T06:51:42ZPavel Andrianovandrianov@ispras.ru
<p>I wanted to hide all marks with similarity zero on unsafe page. I created a view with the corresponding filter, enter a name, successfully save it (the name appeared in the list) and click "Show". The view was definitely applied, as the marks were hidden, but the button view suprisingly changes its name to "View(unsaved)". I opened the view menu again and found that the view is resetted to "Default". Then I found my view in the list (the second option), change it as "preferable", click "show" and nothing changes. So, the marks are still hidden, but the view is "unsaved" and "default" one is chosen in menu instead of my view. It's confusing. Better, to change the name to "View(name)" and show its name in the list.</p>