python-csp icon indicating copy to clipboard operation
python-csp copied to clipboard

csplint improvements

Open snim2 opened this issue 13 years ago • 0 comments

Moved from old Google Code repository:

Ensure readset / writeset checks work with ALTs and sequences of channels.

Add checks for:

  • @process / @forever not used on a method
  • Skip() as first guard in an ALT which uses pri_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

snim2 avatar Oct 03 '12 18:10 snim2