Skip to content

Clang tidy fixes merge

Jan Trávníček requested to merge clang-tidy-fixes-merge into master

Another set of clang-tidy fixes + some other:

RandomAutomatonFactory::ithAccessibleState always selected 0th state. Environment::getGlobalScope, (not used yet) contained infinite recursion.

Merge request reports