https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-03-12T05:47:43ZOpen-Source ProjectsMicroTESK - Bug #5679: Bug in test data generationhttps://forge.ispras.ru/issues/5679?journal_id=222272015-03-12T05:47:43ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Subject</strong> changed from <i>[generator] Bug in test data generation</i> to <i>Bug in test data generation</i></li><li><strong>Category</strong> set to <i>Test Engine</i></li></ul> MicroTESK - Bug #5679: Bug in test data generationhttps://forge.ispras.ru/issues/5679?journal_id=224732015-03-25T03:24:07ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Target version</strong> changed from <i>2.1</i> to <i>2.2</i></li></ul> MicroTESK - Bug #5679: Bug in test data generationhttps://forge.ispras.ru/issues/5679?journal_id=232292015-05-27T08:19:21ZAndrei 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> MicroTESK - Bug #5679: Bug in test data generationhttps://forge.ispras.ru/issues/5679?journal_id=232322015-05-27T08:47:19ZAndrei Tatarnikovandrewt@ispras.ru
<ul></ul><p>At the moment, the following limitations apply. They must be handled:</p>
<ol>
<li>Bug <a class="issue tracker-1 status-5 priority-5 priority-high3 closed" title="Bug: Handling situations when TestBase fails to generate test data (e.g. constraint is UNSAT) (Closed)" href="https://forge.ispras.ru/issues/5987">#5987</a></li>
<li>Bug <a class="issue tracker-1 status-1 priority-4 priority-default" title="Bug: Memory state must be taken into account when generating test data (New)" href="https://forge.ispras.ru/issues/5990">#5990</a></li>
</ol> MicroTESK - Bug #5679: Bug in test data generationhttps://forge.ispras.ru/issues/5679?journal_id=232332015-05-27T08:49:48ZAndrei Tatarnikovandrewt@ispras.ru
<ul></ul><p>Example demonstrating how it works: <a class="external" href="http://forge.ispras.ru/projects/microtesk/repository/changes/trunk/microtesk/src/main/arch/minimips/templates/dependencies.rb">http://forge.ispras.ru/projects/microtesk/repository/changes/trunk/microtesk/src/main/arch/minimips/templates/dependencies.rb</a></p> MicroTESK - Bug #5679: Bug in test data generationhttps://forge.ispras.ru/issues/5679?journal_id=233222015-06-03T07:26:02ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>150529</i></li></ul>