Bug #281: Неверная генерация вычисления покрытия для только что созданных спецификационных типов. - CTESK - Open-Source Projects

Actions

Copy link

Bug #281

closed

Неверная генерация вычисления покрытия для только что созданных спецификационных типов.

Added by Андрей Максимов over 14 years ago. Updated almost 14 years ago.

Status:

Closed

Priority:

Immediate

Assignee:

Alexey Demakov

Target version:

2.8

Start date:

07/02/2010

Due date:

% Done:

100%

Estimated time:

Detected in build:

2.7.290

Platform:

Windows x86

Published in build:

2.8.306-beta-100714

Description

Из вот такого корректного CTESK-кода

coverage process_base_priority = ProcessPriorityCoverage ( create_Long ( ATTRIBUTES->BASE_PRIORITY ) );

генерируется вот такое разрушительное безобразие:

// calculation of coverage 'process_base_priority'
_cov_val_CREATE_PROCESS_spec_process_base_priority = 
    ce_product( &_cov_desc_CREATE_PROCESS_spec_process_base_priority
              , _cov_calc_ProcessPriorityCoverage( ((Long *)ts_destroy_spec_ref(create_Long(ATTRIBUTES->BASE_PRIORITY))) )
              );

Поведение тестовой системы становится непредсказуемым.