Rename read and write predicates in ReadersWriters specification

Open wrobell opened this issue 3 years ago • 1 comments

Use "IsRead/IsWrite" instead of "read/write" as names of the predicates checking the type of processes.

Using "Is*" naming pattern for predicates in other specifications seems to be the norm. It also makes ReadersWriters specification easier to understand.

Jun 01 '22 21:06 wrobell

@Isaac-DeFrain Please comment given that you are the original author of the example.

Jun 01 '22 22:06 lemmy

Naming is hard.

Jan 15 '23 20:01 lemmy