General

Profile

Pavel Putro

Issues

Projects

Activity

10/06/2017

11:31 PM MicroTESK Bug #8486 (New): Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
Насколько мне удалось проанализировать: в текущей генерируемой модели отсутствует связывание между собой констант для...

Also available in: Atom