python-csp
python-csp copied to clipboard
csplint improvements
Moved from old Google Code repository:
Ensure readset / writeset checks work with ALTs and sequences of channels.
Add checks for:
@process/@forevernot used on a methodSkip()as first guard in an ALT which usespri_select()
Comment 1 by project member mount.sarah, May 10, 2010 From some ancient notes on this topic:
- Ensure that .start() is always called on Par / Seq combinators
- Ensure that every channel gets passed to more than one process