search

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Rename InterleaveStep to ParallelStep #71

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

Parallel is what it's called in all of the various notations we're tracking; interleave is just what I think the CSP semantics is. It's a bit too low-level to refer to it as interleave, IMO.

MattWindsor91 commented 2 years ago

It's ParFragment now :)