z3py: как проверить информацию трассировки при использовании z3 python api

Question

z3py: как проверить информацию трассировки при использовании z3 python api

Предположим, я хочу проверить информацию трассировки "random_split". я написал

enable_trace("random_split")

в моем скрипте Python, который использует Z3 Python API, но ничего не появляется.

Интересно, как мне проверить информацию трассировки при использовании z3py?

1

logic constraints z3 smt z3py

Источник

user3476147 24 ноя '15 в 16:31

1 ответ

Решение

Другие вопросы по тегам logic constraints z3 smt z3py

user869966 24 ноя '15 в 17:17 2015-11-24 17:17 · Accepted Answer · 2015-11-24 17:17

Трассировки доступны только в режиме отладки, поэтому вам нужно скомпилировать Z3 самостоятельно python scripts/mk_make.py --debug, Если трассировка не производит никакого вывода, то этот конкретный фрагмент кода никогда не достигается, поэтому он ничего не печатает.