Alexey Khoroshilov

  • Email:
  • Registered on: 11/25/2009
  • Last connection: 11/17/2017

Projects

Activity

Reported issues: 382

11/22/2017

11:30 am Deductive Verification Tools for Linux Kernel Bug #8578: Моделирование escape char '\e'
Это расширение gcc, которое пока не поддерживается:
https://gcc.gnu.org/onlinedocs/gcc-4.8.2/gcc/Character-Escapes.h...
11:03 am Requality Revision 0991287f (requality): Small cleanup in AttributeStorage
11:03 am Requality Revision ca8e3eda (requality): Small refactoring of TreeNode.saveAttributes()

10/25/2017

04:18 pm Klever Feature #8256: Add tests for EMG failures
You should add "by default". It is an important feature of EMG for some of our use cases.
02:00 pm Klever Feature #8256: Add tests for EMG failures
Ilja Zakharov wrote:
> Instead of doing tests I fixed failures itself. Gladly because we decided to disable patterns...

09/20/2017

10:38 pm Requality Bug #4520 (Open): Имя требования отображается в Requality Explorer не полностью.
10:35 pm Requality Feature #8421: Сообщение после Commit Document
Надо бы выложить обновление, учитывая простой шаг из тикета #8419.

09/10/2017

06:57 pm Requality Feature #8421 (Resolved): Сообщение после Commit Document
Сейчас
Document has been successfully saved
Надо
Document has been successfully committed to Requality project 'NA...
05:10 pm Requality Bug #8419 (New): Публикация плагина для LibreOffice
1. Простой шаг. В имени публикуемого файла должна присутствовать версия, чтобы можно было понять, что было скачено.
...

08/14/2017

02:09 pm Requality Bug #7867 (Closed): Проблема у требований с ID, различающимися только регистром букв

Also available in: Atom