[SMT-COMP] Procedure for the Submission of new Benchmarks

[Matthias Heizmann]

Hi Paulo,

You can find information about the submission of new benchmarks in the 
README.md of the following git repository.
https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks-tmp/benchmarks-pending

TLDR: Sumit a pull request, but respect the requirements for syntax and folder 
names.

Best,
Matthias


On Samstag, 17. März 2018 12:50:35 CET Paulo Matos wrote:
> What's the procedure for the submission of new benchmarks?
> 
> Kind regards,
> 
> Paulo Matos
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: </pipermail/smt-comp/attachments/20180317/962497d6/attachment.asc>