[SMT-LIB] QF_BV and division by zero

[Tjark Weber]

Clark,

On Sat, 2017-04-15 at 08:46 -0700, Clark Barrett wrote:
> Yes.  I will circulate a new draft of QF_BV early next week.

How do you want to deal with affected SMT-LIB benchmarks? Will you
simply set their status to "unknown", or do you plan to re-compute
their status (using solvers that implement the new semantics) before
this year's SMT-LIB release?

Best,
Tjark