Searched refs:createWhileModel (Results 1 – 1 of 1) sorted by relevance
3186 std::vector<std::unique_ptr<PartitioningModel>> createWhileModel( in createWhileModel() function in __anon63efd43f0110::ControlFlowPartitioningTest3229 const auto models = createWhileModel(); in TEST_F()3262 const auto models = createWhileModel(); in TEST_F()3331 const auto models = createWhileModel(dimensionedMain, dimensionedCond, dimensionedBody); in testWhileUnknownSize()