Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-09-08T15:05:32ZOpen-Source Projects
Redmine Fortress - Task #7561 (New): ISampleConstraint: 'getExpectedVariables' returns value that is igno...https://forge.ispras.ru/issues/75612016-09-08T15:05:32ZSergey Smolovsmolov@ispras.ru
<p>JUnit test case classes that implement ISampleConstraint interface should implement <code>getExpectedVariables</code> method. In fact, this method's returned value is ignored everwhere.<br />Probably we should either to made our tests more solver-specific (AFAIK, this problem comes from the fact that Z3 and CVC4 solvers return different values on same constraints), or change this method somehow.</p> Fortress - Feature #5596 (New): Генерация случайных значений, удовлетворяющих определённым условиямhttps://forge.ispras.ru/issues/55962015-02-02T21:22:54ZIgor Melnichenkosuomi-47@ya.ru
<p>Нужна возможность генерации случайных значений, удовлетворяющих определённым условиям. Например, сейчас при разрешении выражения (AND (GREATEREQ x -128) (LESSEQ x 127)) переменной x всегда присваивается значение -128; хотелось бы, чтобы выбирался случайный вариант из диапазона допустимых значений.</p> Fortress - Task #5529 (New): Использовать префиксы для указания основания в строковом представлен...https://forge.ispras.ru/issues/55292014-12-25T12:09:59ZArtem Kotsynyak
<p>Текущий подход чтения данных из строкового представления основан на передаче единственного основания вручную, при этом требуется следить за правильным значением основания при чтении и записи. Более того, такой подход невозможен для составных типов как массивы или структуры, так как в строковом представлении терминальных типов могут использоваться различные основания. Видится два решения: передавать основания для каждого терминального типа, или, предпочтительно, использовать привычные префиксы для оснований (0b, 0, 0x).</p> Fortress - Task #5421 (Open): Utility methods on expression nodeshttps://forge.ispras.ru/issues/54212014-11-12T11:14:20ZArtem Kotsynyak
<ul>
<li>Shortcuts for standard operations, e.g. AND (...) to replace new NodeOperation(StandardOperation.AND, ...) etc.</li>
<li>Default TRUE and FALSE nodes w/o user data.</li>
<li>Node hierarchy checks: check if Node is a specific operation (Node x opId -> boolean), check if Node is a specific DataType value (Node x DataType -> boolean).</li>
<li>Complementary to NodeValue.newXXX: isXXX and getXXX.</li>
<li>Operands extraction.</li>
</ul>
<p>Some of these can be found implemented or even duplicated in the codebase. This list is a subject to updates.</p> TestBase - Task #4805 (New): Top-level test situations of instructionshttps://forge.ispras.ru/issues/48052014-04-02T07:36:16ZAlexander Kamkinaskamkin@gmail.com
<p>A notion of top-level test situation should be introduced. By default, the top-level situation is <code>Random</code>. There should be a configuration file assigning top-level test situations to instructions (Random, Zero, etc.).</p> TestBase - Task #4804 (New): Manual description of test situations in Java and XMLhttps://forge.ispras.ru/issues/48042014-04-02T07:34:41ZAlexander Kamkinaskamkin@gmail.com
<ol>
<li>Interface for adding test situations described in Java or XML</li>
<li>Documentation</li>
</ol> TestBase - Task #4778 (Open): Low-level interface for adding test situations (named constraints)https://forge.ispras.ru/issues/47782014-03-21T04:38:37ZAlexander Kamkinaskamkin@gmail.com
<p>The task is to implement an API for adding test situations (described in Java) into the generator. Situations should be accessible from test templates.</p>