Reworked per comments from Attila + Roman - #131

Reworked per comments from Attila + Roman#131

hrishiballal wants to merge 4 commits into

mainopenutm/verification:mainfrom

run-step-by-step-autopauseopenutm/verification:run-step-by-step-autopauseCopy head branch name to clipboard