I've opted to adapt the model from four forks and philosophers in the current test model to the traditional number of five forks and philosophers. For the synthesis time this barely makes a difference.
Closes #451 (closed)
I've opted to adapt the model from four forks and philosophers in the current test model to the traditional number of five forks and philosophers. For the synthesis time this barely makes a difference.
Closes #451 (closed)
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent