Add concrete execution specification - #1722

Add concrete execution specification#1722

SBOne-Kenobi wants to merge 2 commits into

mainUnitTestBot/UTBotJava:mainfrom

sbone/add-execution-specUnitTestBot/UTBotJava:sbone/add-execution-specCopy head branch name to clipboard