https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692014-04-14T16:49:16ZOpen-Source ProjectsMicroTESK - Bug #4791: [template] Exception if Z3 is not installedhttps://forge.ispras.ru/issues/4791?journal_id=191712014-04-14T16:49:16ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Исправлено в r1877. Исключение перехватывается, выводится предупреждение (см. ниже) и, соотвественно, инициализирующий код для ситуации не добавляется.</p>
<p>"Warning! Failed to generate test data for the %s situation.\nReason: %s.\n"</p> MicroTESK - Bug #4791: [template] Exception if Z3 is not installedhttps://forge.ispras.ru/issues/4791?journal_id=192482014-04-18T10:51:01ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>140417</i></li></ul>