Added an example of running a parameterized linearization test#10

vfaberd wants to merge 3 commits intodevexperts:masterdevexperts/lin-check:masterfrom

vfaberd:mastervfaberd/lin-check:masterCopy head branch name to clipboard