Pavel Putro

  • Email:
  • Registered on: 07/18/2016
  • Last connection: 10/19/2017

Projects

Activity

Reported issues: 4

10/06/2017

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

Also available in: Atom