2.5 Features: MIR internal representation, symbolic execution, report generation 42% 24 issues (9 closed — 15 open) Related issues Bug #5783: Problems with multiple concatenation Actions Bug #5990: Memory state must be taken into account when generating test data Actions Bug #6911: The "get_address_of" method must work with all label types. Actions Bug #7218: extraneous input 'op' expecting ID Actions Bug #7251: A warning or error is needed when a value is truncated Actions Bug #7313: Analysis for input/output parameters Actions Bug #7418: Reset the state of the model before starting generating a new test program fle Actions Bug #7603: List of plug-ins must be stored in etc/settings.xml Actions Bug #9467: Не работает корректно excludes в версии ревизий Actions Bug #9925: java.lang.IllegalStateException: Boolean data is not convertible to BitVector. Actions Bug #9937: *TestCase для нескольких шаблонов (*.rb) Actions Bug #10004: java.lang.IllegalStateException: Boolean data is not convertible to BitVector (Не ясно где тут BitVector) Actions Bug #10007: Двойные метки Actions Bug #10008: Отрицательные адреса Actions Bug #10010: error: incompatible types Actions Bug #10014: mir некорректно интерпретирует побитовое отрицание (~) Actions Bug #10028: MIPS: adds a sll instruction before every instruction in a trace Actions Bug #10029: MIPS: adds presimulated instructions in a trace Actions Bug #10030: line 28:0 no viable alternative at input 'op'" Actions Bug #10032: The 'shift' name is already used to declare another symbol of type MEMORY Actions Bug #10040: Disable checking redeclaration for arguments Actions Bug #10044: Translator crashes with NPE if no instruction is defined Actions Feature #8587: ISA subsets Actions Feature #9950: Support for different directives in text sections of test templates Actions