Project

General

Profile

Actions

Bug #281

closed

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

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

Status:
Closed
Priority:
Immediate
Target version:
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))) )
              );

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

Also available in: Atom PDF