On Wed 2020-06-03 14:20:57, Yannick Cote wrote: > This change makes the test feel more familiar with narrowing to a > typical usage by operating on a number of identical structure instances > and populating the same two new shadow variables symmetrically while > keeping the same testing and verification criteria for the extra > variables. > > Reviewed-by: Kamalesh Babulal <kamalesh@xxxxxxxxxxxxxxxxxx> > Acked-by: Miroslav Benes <mbenes@xxxxxxx> > Acked-by: Joe Lawrence <joe.lawrence@xxxxxxxxxx> > Signed-off-by: Yannick Cote <ycote@xxxxxxxxxx> Reviewed-by: Petr Mladek <pmladek@xxxxxxxx> Best Regards, Petr
