Този smt2 скрипт среща грешка при сегментиране. Проблемът възниква, когато се използва пар-или тактика. Работи и без тази тактика. Използвам z3 4.4.0 на машина "Debian 3.2.60-1+deb7u3 x86_64 GNU/Linux".
Грешка в сегментирането при използване на тактика пар-или
comment
Моля, добавете целия подходящ код във вашия въпрос. Можете ли също така да конкретизирате въпроса си малко по-ясно?
- person Bono   schedule 04.03.2015
Отговори (1)
Благодаря, че докладвахте за този проблем! Наистина имаше грешка в превода на модела, която вече е коригирана в нестабилния клон (от това).
person
Christoph Wintersteiger
schedule
04.03.2015