z3 infinite loop #7874
Description
z3 from the current git locks up on this input. It can't be interrupted with ctrl-c and it doesn't exit when the timeout expires
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
z3 from the current git locks up on this input. It can't be interrupted with ctrl-c and it doesn't exit when the timeout expires