Re: [PATCH] tools/memory-model: Rename litmus tests to comply to norm7

2018-05-29 Thread Paul E. McKenney
On Tue, May 29, 2018 at 02:20:13PM +0200, Andrea Parri wrote: > norm7 produces the 'normalized' name of a litmus test, when the test > can be generated from a single cycle that passes through each process > exactly once. The commit renames such tests in order to comply to the > naming scheme imple

[PATCH] tools/memory-model: Rename litmus tests to comply to norm7

2018-05-29 Thread Andrea Parri
norm7 produces the 'normalized' name of a litmus test, when the test can be generated from a single cycle that passes through each process exactly once. The commit renames such tests in order to comply to the naming scheme implemented by this tool. Signed-off-by: Andrea Parri Cc: Alan Stern Cc: