Searched refs:createWhileModel (Results 1 – 1 of 1) sorted by relevance
3188 std::vector<std::unique_ptr<PartitioningModel>> createWhileModel( in createWhileModel() function in __anon5f0cdff80111::ControlFlowPartitioningTest3231 const auto models = createWhileModel(); in TEST_F()3264 const auto models = createWhileModel(); in TEST_F()3333 const auto models = createWhileModel(dimensionedMain, dimensionedCond, dimensionedBody); in testWhileUnknownSize()