https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692010-05-30T12:44:29ZOpen-Source ProjectsCTESK - Task #229: Выделение предусловия стимула в отдельную функцию при трансляцииhttps://forge.ispras.ru/issues/229?journal_id=5342010-05-30T12:44:29ZAlexey Demakov
<ul><li><strong>Subject</strong> changed from <i>Выделение предусловия реакции в отдельную функцию при трансляции</i> to <i>Выделение предусловия стимула в отдельную функцию при трансляции</i></li></ul><p>Добавлена генерация функции <br />static ${.bool} _<em>pre</em>${.name}( PAR_TYPE_${.name} params )<br />указатель на эту функцию добавлен в структуру <br />SpecificationDesc desc_${desc}<br />как поле precondition</p> CTESK - Task #229: Выделение предусловия стимула в отдельную функцию при трансляцииhttps://forge.ispras.ru/issues/229?journal_id=5392010-05-30T22:30:34ZAlexey Demakov
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>2.8.296-beta-100530</i></li></ul>