Bulk add flight declarations and operational intents#98

RomanPszonka merged 3 commits intomainopenutm/verification:mainfrom

bulk-add-declaration-operatoinal-intentsopenutm/verification:bulk-add-declaration-operatoinal-intentsCopy head branch name to clipboard