[SMTCOMP] smtlib-predabs benchmarks broken?

[Leonardo de Moura]

Hi Alberto,

Thanks for sending the email.
We will fix that.

Cheers,
Leonardo.

On Jun 12, 2006, at 5:05 AM, Alberto Griggio wrote:

> Hello all,
> I'm writing just to signal that the new benchmarks in the
> smtlib-predabs.tar.gz tarball seem to be malformed: they all contain
> one extra ')' character at the end of the file...
>
> Alberto
>