Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692021-04-28T18:01:52ZOpen-Source Projects
Redmine 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 #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 #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 - 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 - Bug #9285 (Closed): Problem with deploymenthttps://forge.ispras.ru/issues/92852018-09-21T09:47:54ZPavel Andrianovandrianov@ispras.ru
<p>Using the version 1.1, I can not prepare virtual machine with deployment scripts. The BenchExec archive is not extracted from .tar.gz and just renamed ino BanchExec file. I do not sure, is it important bug or not, as I just faced with it on the old version.</p> Klever - Bug #9067 (Closed): Klever fails with corruptedhttps://forge.ispras.ru/issues/90672018-07-05T12:37:50ZPavel Andrianovandrianov@ispras.ru
<p>An inner component fails while processing witnesses and nevertheless Klever prepares an unsafe report. As there are no witnesses then it fails with 'corrupted' and stops the launch completely.</p>
<p>[Reporter] Raise exception:<br />Traceback (most recent call last):<br /> File "/home/debian/klever-inst/klever/core/core/components.py", line 428, in run<br /> self.main()<br /> File "/home/debian/klever-inst/klever/core/core/components.py", line 332, in callbacks_caller<br /> ret = attr(*args, **kwargs)<br /> File "/home/debian/klever-inst/klever/core/core/core.py", line 304, in send_reports<br /> self.session.upload_report(report_file, report_file_archives)<br /> File "/home/debian/klever-inst/klever/core/core/session.py", line 149, in upload_report<br /> self.__upload_archive('reports/upload/', {'report': report}, archives)<br /> File "/home/debian/klever-inst/klever/core/core/session.py", line 187, in __upload_archive<br /> for archive in archives], stream=True)<br /> File "/home/debian/klever-inst/klever/core/core/session.py", line 93, in __request<br /> 'Got error "{0}" when send "{1}" request to "{2}"'.format(self.error, method, url))<br />core.session.BridgeError: Got error "There are no error traces in report" when send "POST" request to "http://localhost:8998/reports/upload/" <br />Traceback (most recent call last):<br /> File "/home/debian/klever-inst/klever/core/core/core.py", line 91, in main<br /> 'coverage_finished': multiprocessing.Manager().dict()<br /> File "/home/debian/klever-inst/klever/core/core/job.py", line 110, in start_jobs<br /> core.components.launch_workers(core_obj.logger, [job], subcomponents + [core_obj.uploading_reports_process])<br /> File "/home/debian/klever-inst/klever/core/core/components.py", line 199, in launch_workers<br /> check_components(logger, monitoring_list)<br /> File "/home/debian/klever-inst/klever/core/core/components.py", line 304, in check_components<br /> mc.join()<br /> File "/home/debian/klever-inst/klever/core/core/components.py", line 332, in callbacks_caller<br /> ret = attr(*args, **kwargs)<br /> File "/home/debian/klever-inst/klever/core/core/components.py", line 546, in join<br /> raise ComponentError('Component "{0}" failed'.format(self.name))<br />core.components.ComponentError: Component "Reporter" failed</p> Klever - Bug #9058 (New): Exceptions if there are problems with connection to cloudhttps://forge.ispras.ru/issues/90582018-07-03T09:05:17ZPavel Andrianovandrianov@ispras.ru
<p>During updating an instance, there are some problems with connection to cloud. The script failed with:</p>
<p>Traceback (most recent call last):<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 601, in urlopen<br /> chunked=chunked)<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 387, in _make_request<br /> six.raise_from(e, None)<br /> File "<string>", line 2, in raise_from<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 383, in _make_request<br /> httplib_response = conn.getresponse()<br /> File "/usr/lib/python3.5/http/client.py", line 1197, in getresponse<br /> response.begin()<br /> File "/usr/lib/python3.5/http/client.py", line 297, in begin<br /> version, status, reason = self._read_status()<br /> File "/usr/lib/python3.5/http/client.py", line 258, in _read_status<br /> line = str(self.fp.readline(_MAXLINE + 1), "iso-8859-1")<br /> File "/usr/lib/python3.5/socket.py", line 575, in readinto<br /> return self._sock.recv_into(b)<br />ConnectionResetError: [Errno 104] Connection reset by peer</p>
<p>During handling of the above exception, another exception occurred:</p>
<p>Traceback (most recent call last):<br /> File "/usr/local/lib/python3.5/dist-packages/requests/adapters.py", line 440, in send<br /> timeout=timeout<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 639, in urlopen<br /> _stacktrace=sys.exc_info()[2])<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/util/retry.py", line 357, in increment<br /> raise six.reraise(type(error), error, _stacktrace)<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/packages/six.py", line 685, in reraise<br /> raise value.with_traceback(tb)<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 601, in urlopen<br /> chunked=chunked)<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 387, in _make_request<br /> six.raise_from(e, None)<br /> File "<string>", line 2, in raise_from<br /> File "/usr/local/lib/python3.5/dist-packages/urllib3/connectionpool.py", line 383, in _make_request<br /> httplib_response = conn.getresponse()<br /> File "/usr/lib/python3.5/http/client.py", line 1197, in getresponse<br /> response.begin()<br /> File "/usr/lib/python3.5/http/client.py", line 297, in begin<br /> version, status, reason = self._read_status()<br /> File "/usr/lib/python3.5/http/client.py", line 258, in _read_status<br /> line = str(self.fp.readline(_MAXLINE + 1), "iso-8859-1")<br /> File "/usr/lib/python3.5/socket.py", line 575, in readinto<br /> return self._sock.recv_into(b)<br />urllib3.exceptions.ProtocolError: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))</p>
<p>During handling of the above exception, another exception occurred:</p>
<p>Traceback (most recent call last):<br /> File "/usr/local/lib/python3.5/dist-packages/keystoneauth1/session.py", line 889, in _send_request<br /> resp = self.session.request(method, url, **kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/requests/sessions.py", line 508, in request<br /> resp = self.send(prep, **send_kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/requests/sessions.py", line 618, in send<br /> r = adapter.send(request, **kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/requests/adapters.py", line 490, in send<br /> raise ConnectionError(err, request=request)<br />requests.exceptions.ConnectionError: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))</p>
<p>During handling of the above exception, another exception occurred:</p>
<p>Traceback (most recent call last):<br /> File "./deploys/bin/deploy-openstack", line 27, in <module><br /> sys.exit(deploys.openstack.main())<br /> File "./deploys/bin/../deploys/openstack/__init__.py", line 80, in main<br /> getattr(OSKleverDeveloperInstance(args, logger), args.action)()<br /> File "./deploys/bin/../deploys/openstack/openstack.py", line 393, in update<br /> floating_ip=self._get_instance_floating_ip(self._get_instance(self.name))) as ssh:<br /> File "./deploys/bin/../deploys/openstack/openstack.py", line 120, in _get_instance<br /> instances = self._get_instances(instance_name)<br /> File "./deploys/bin/../deploys/openstack/openstack.py", line 154, in _get_instances<br /> for instance in self.clients.nova.servers.list():<br /> File "/usr/local/lib/python3.5/dist-packages/novaclient/v2/servers.py", line 854, in list<br /> "servers")<br /> File "/usr/local/lib/python3.5/dist-packages/novaclient/base.py", line 257, in _list<br /> resp, body = self.api.client.get(url)<br /> File "/usr/local/lib/python3.5/dist-packages/keystoneauth1/adapter.py", line 304, in get<br /> return self.request(url, 'GET', *<strong>kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/novaclient/client.py", line 77, in request<br /> **kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/keystoneauth1/adapter.py", line 463, in request<br /> resp = super(LegacyJsonAdapter, self).request(*args, **kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/keystoneauth1/adapter.py", line 189, in request<br /> return self.session.request(url, method, **kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/keystoneauth1/session.py", line 802, in request<br /> resp = send(</strong>*kwargs)<br /> File "/usr/local/lib/python3.5/dist-packages/keystoneauth1/session.py", line 905, in _send_request<br /> raise exceptions.ConnectFailure(msg)<br />keystoneauth1.exceptions.connection.ConnectFailure: Unable to establish connection to <a class="external" href="http://cloud.ispras.ru:8774/v2/6aec0acc18aa44048f7da0a3144ef744/servers/detail">http://cloud.ispras.ru:8774/v2/6aec0acc18aa44048f7da0a3144ef744/servers/detail</a>: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))</p> Klever - Bug #9056 (Closed): Exception when packages are not specified in configurationhttps://forge.ispras.ru/issues/90562018-07-02T12:14:15ZPavel Andrianovandrianov@ispras.ru
<p>If section 'packages' is missed in configuration file, there is an exception</p>
<p>Traceback (most recent call last):<br /> File "./deploys/install_deps.py", line 136, in <module><br /> main()<br /> File "./deploys/install_deps.py", line 129, in main<br /> args.update_python3_packages)<br /> File "./deploys/install_deps.py", line 42, in install_deps<br /> new_pckgs = get_pckgs(deploy_conf['Packages'])<br />KeyError: 'Packages'</p> Klever - Bug #9054 (Closed): Exception when ssh-key is not specifiedhttps://forge.ispras.ru/issues/90542018-07-02T12:12:37ZPavel Andrianovandrianov@ispras.ru
<p>Command line: ./deploys/bin/deploy-openstack --os-username andrianov update 'Klever developer instance'<br />Traceback (most recent call last):<br /> File "./deploys/bin/deploy-openstack", line 27, in <module><br /> sys.exit(deploys.openstack.main())<br /> File "./deploys/bin/../deploys/openstack/__init__.py", line 80, in main<br /> getattr(OSKleverDeveloperInstance(args, logger), args.action)()<br /> File "./deploys/bin/../deploys/openstack/openstack.py", line 393, in update<br /> floating_ip=self._get_instance_floating_ip(self._get_instance(self.name))) as ssh:<br /> File "./deploys/bin/../deploys/openstack/ssh.py", line 41, in <i>init</i><br /> self.logger.error('Please specify path to SSH RSA private key file with help of command-line option' +<br />AttributeError: 'SSH' object has no attribute 'logger'</p> Klever - Bug #8956 (Closed): Klever fails with corruptedhttps://forge.ispras.ru/issues/89562018-06-14T13:55:12ZPavel Andrianovandrianov@ispras.ru
<p>Launch on Klever master, Linux 4.2.6, /drivers/ata/libata.ko. Klever fails with exception "The error occurs when uploading report with id /-/VRP/drivers/ata/libata.ko/sync:race/RP/verification/unsafe": Sources doesn't have needed source for error trace". Some of other unsafes, found in other launches, were processed and uploaded successfully.</p> Klever - Bug #8005 (Closed): Handle exceptions in witness processinghttps://forge.ispras.ru/issues/80052017-03-01T08:40:39ZPavel Andrianovandrianov@ispras.ru
<p>In race analysis multiple unsafes may be obtained. If one witness сauses an exception, the other unsafes (even already processed and uploadeed) can not be shown, because verification finish report is missing. Likely, the uploaded unsafes should be visualized anyway.</p> Klever - Bug #8003 (Closed): Exception while visualizing error tracehttps://forge.ispras.ru/issues/80032017-02-27T14:20:46ZPavel Andrianovandrianov@ispras.ru
<p>Raise exception:<br />Traceback (most recent call last):<br /> File "/home/debian/klever/core/core/components.py", line 116, in run<br /> self.main()<br /> File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller<br /> ret = attr(*args, **kwargs)<br /> File "/home/debian/klever/core/core/vtg/rsb.py", line 46, in generate_verification_tasks<br /> self.decide_verification_task()<br /> File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller<br /> ret = attr(*args, **kwargs)<br /> File "/home/debian/klever/core/core/vtg/rsb.py", line 318, in decide_verification_task<br /> self.process_single_verdict(decision_results, verification_report_id)<br /> File "/home/debian/klever/core/core/utils.py", line 56, in callbacks_caller<br /> ret = attr(*args, **kwargs)<br /> File "/home/debian/klever/core/core/vtg/rsb.py", line 380, in process_single_verdict<br /> et = import_error_trace(self.logger, witness)<br /> File "/home/debian/klever/core/core/vtg/et/__init__.py", line 35, in import_error_trace<br /> trace.find_violation_path()<br /> File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 257, in find_violation_path<br /> self._find_violation_path()<br /> File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 271, in _find_violation_path<br /> edge = next(iterator)<br /> File "/home/debian/klever/core/core/vtg/et/error_trace.py", line 183, in trace_iterator<br /> raise StopIteration<br />StopIteration</p>
<p>witness is attached.</p> Klever - Bug #7885 (Closed): Exception while vizualizing error tracehttps://forge.ispras.ru/issues/78852017-01-23T12:47:56ZPavel Andrianovandrianov@ispras.ru
<p>While handling a witness for races an exception occurred "Cannot delete edge with warning". The witness is attached.</p> Klever - Bug #7258 (Rejected): BCE fails while building Linux kernel v. 4.5https://forge.ispras.ru/issues/72582016-05-26T15:41:06ZPavel Andrianovandrianov@ispras.ru
<p>BCE fails with message<br />In file included from /usr/include/openssl/bio.h:62:0, from scripts/sign-file.c:24: /usr/include/openssl/e_os2.h:56:33: fatal error: openssl/opensslconf.h: No such file or directory compilation terminated.</p>
<p>The lib openssl is installed and ordinary 'make' in kernel directory successfully finishes.</p>