implement engine pool - Githubissues

utwente-fmt / UrPal

UPPAAL Sanity Checker

5 stars 1 forks source link

Closed ramononis closed 5 years ago

ramononis commented 5 years ago

Make sure no more than x engines are running

ramononis commented 5 years ago

Currently the sanity checks are done sequentially, no need to change that for now.