Этот скрипт 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
