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

[Mathias Preiner]

Hi François,

Yes that's right! I'll fix the benchmarks.

Cheers,
Mathias

On 5/7/19 5:36 AM, François Bobot wrote:
> 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,
> 
> 
> _______________________________________________
> SMT-COMP mailing list
> SMT-COMP at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/smt-comp
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190507/43ed7435/attachment.asc>