search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
360 stars 45 forks source link

Check parallel #488

Closed Ovascos closed 4 months ago

Ovascos commented 4 months ago

make check is executing tests in parallel (when either GNU parallel or moreutils' parallel is available)

Ovascos commented 4 months ago

Note that this PR is tested with Mac and Linux only. I don't have a Windows+cygwin setup available.

coveralls commented 4 months ago

Coverage Status

coverage: 65.531%. remained the same when pulling 62cc24f7fdc14f1715af3eed51afd1451c723123 on Ovascos:check-parallel into ecac3fd9d28ac3ed3de194613c36bb86115b4b3d on SRI-CSL:master.

ahmed-irfan commented 4 months ago

How do you specify the number of cores to use?

Ovascos commented 4 months ago

You can not. All cores are used.

ahmed-irfan commented 4 months ago

You can not. All cores are used.

Is there an easy way to pass this number?

Ovascos commented 4 months ago

You can not. All cores are used.

Is there an easy way to pass this number?

I'll have a look.

Ovascos commented 4 months ago

Integrated check.sh within GNU make's token system to use limit the number of total parallel execution to the value specified by -j N