Searched refs:createWhileModel (Results 1 – 1 of 1) sorted by relevance
3188 std::vector<std::unique_ptr<PartitioningModel>> createWhileModel( in createWhileModel() function in __anonb50294d30111::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()