clang-tidy: Identifier rename ControlFlow#452

Merged

pdschubert merged 5 commits intodevelopmentfrom

f-ClangTidyIdentifierRenameControlFlow

Jan 4, 2022

Commits on Dec 24, 2021

identifier rename and other minor fixes for ControlFlow, AnalysisStrategy, PhasarClang

Martin Mory
authored and
vulder
committed
Fixes formatting
vulder
committed

Commits on Jan 4, 2022