Messages in this thread | | | Date | Tue, 29 May 2018 14:32:16 +0200 | From | Andrea Parri <> | Subject | Re: [PATCH RFC tools/memory-model] Add litmus-test naming scheme |
| |
[...]
> > Right, thanks. Ah, maybe we should strive to meet the 80-chars bound > > by splitting the command with "\"? > > We could, but combined with your later request for indentation, we end > up with something like this: > > $ norm7 -bell linux-kernel.bell \ > Rfi Once PodRR Once Fre Once Rfi Once PodRR Once Fre Once | \ > sed -e 's/:.*//g' > SB+rfionceonce-poonceonces > > In the immortal words of MSDOS, are you sure? ;-)
I find it more readable, but it's just taste ;-) Commands are indented with 2 spaces in the other README.
> > Well, "Rfi" produces "rfi" while "PosWR" produces "pos" for a name... > > Right you are! How about this, then? > > Rfi: Read-from internal. The current process wrote a variable and then > immediately read the value back from it. For the purposes of > litmus-test code generation, Rfi acts identically to PosWR. > However, they differ for purposes of naming, and they also result > in different "exists" clauses. > Example: ???
LGTM, thanks.
Andrea
| |