Nicholas Kariniemi 9901792fe8 CSP: Correct spec to actually test for n processes (not 3)		2015-12-11 14:48:20 +02:00
..
sync.csp	CSP: Correct spec to actually test for n processes (not 3)	2015-12-11 14:48:20 +02:00