Searched refs:createBranchOrBodyModel (Results 1 – 1 of 1) sorted by relevance
3130 std::unique_ptr<PartitioningModel> createBranchOrBodyModel(Dimensioned dimensioned) { in createBranchOrBodyModel() function in __anon63efd43f0110::ControlFlowPartitioningTest3163 auto thenModel = createBranchOrBodyModel(dimensionedThen); in createIfModel()3164 auto elseModel = createBranchOrBodyModel(dimensionedElse); in createIfModel()3191 auto bodyModel = createBranchOrBodyModel(dimensionedBody); in createWhileModel()