Explore-then-search trace generation#43

JFoederer wants to merge 5 commits intomainJFoederer/robotframeworkMBT:mainfrom

explore-then-search-trace-generationJFoederer/robotframeworkMBT:explore-then-search-trace-generationCopy head branch name to clipboard