z3 timeout on linux/mac

Question

Hi Leonardo: Похоже, z3 (v3.2) принимает ключ командной строки «-T: 10» для указания тайм-аутов на Mac и Linux, но игнорирует его. (Не пробовали на windows.) Было бы очень приятно, если бы тайм-ауты поддерживались и в версиях linux/mac.

Answer 1

Да, коммутатор -T является Windows только в Z3 3.2. Это будет исправлено в следующем выпуске.