[SMT-COMP] SMT-COMP 2019: New Benchmarks

[François Bobot]

Hi,

Le 20/04/2019 à 07:33, Aina Niemetz a écrit :
> 
> Important dates:
> * May 1   new release of SMT-LIB benchmark library

A modification of the files seems not compliant with the smt-lib syntax:

https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP/commit/fa5530c86ab66db8a989d04e04b0ce450b29065e#91b72ad0ea6ab75c2adb2144fd230cbe82ab6ac4

The `(or a!1)` was perhaps not compliant but the `(a!1)` is neither. I think it should be just `a!1`.

Is it right?

Best,

-- 
François

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3764 bytes
Desc: Signature cryptographique S/MIME
URL: </pipermail/smt-comp/attachments/20190507/a6da1f72/attachment.p7s>