Fix a bug with sources parser

mutilin / klever

Klever Git repository read-only mirror

https://forge.ispras.ru/projects/klever

Apache License 2.0

0 stars 1 forks source link

Fix a bug with sources parser #37

Closed vmordan closed 5 years ago

vmordan commented 5 years ago

There is a bug in Klever sources parser, which affects error traces and coverages visualization. In case of "nested" comments of type //* Klever uses "internal" one (/*), which is wrong. As a result such visualization misleads the users. In order to correct it, the following fixes are required:

[x] fix error traces visualization parser;
[x] fix coverage visualization parser (each component has each own parser, which, probably, also should be fixed);
[x] check for other similar problems.

vmordan commented 5 years ago

Commit 4904ce8a fixes this bug for error traces. Since there are two almost the same parsers (error traces and coverage), they should be united.

vmordan commented 5 years ago

Closing this issue, since similar problems were not found.