Actions
Task #2522
closed[template] Интеграция Ruby-шаблонов с солверами
Start date:
02/28/2012
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
20140324
Description
При обработке фрагмента шаблона вида
add r1, r2, r3 ; overflow
должно происходить обращение к базе ограничений для генерации тестовых данных для ситуации overflow.
Интерфейс базы ограничений следует обсудить с Андреем Татарниковым.
Updated by Alexander Kamkin almost 12 years ago
- Subject changed from Интеграция Ruby-шаблонов с солверами to [template] Интеграция Ruby-шаблонов с солверами
Updated by Andrei Tatarnikov almost 11 years ago
- Assignee changed from Artemiy Utekhin to Andrei Tatarnikov
Updated by Alexander Kamkin over 10 years ago
- Priority changed from Normal to High
Updated by Andrei Tatarnikov over 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Сейчас (r1844) данная схема работает, пусть и в очень сыром виде. Простые примеры работают. Например, код из arm_demo.rb:
add equalcond, setsoff, reg(2), reg(2), register0 do overflow end
add equalcond, setsoff, reg(3), reg(2), register0 do random end
add equalcond, setsoff, reg(4), reg(2), register0 do normal end
В дальнейшем будет переработано, как вся начальная реализация тестовых шаблонов.
Updated by Alexander Kamkin over 10 years ago
- Status changed from Resolved to Closed
- Target version set to 2.0
- Published in build set to 2014-04-30
Updated by Alexander Kamkin over 10 years ago
- Published in build changed from 2014-04-30 to 20140324
Actions