680     using WrapperModel::isValid;
1596     ASSERT_TRUE(model.isValid());  in TEST_F()
1644         ASSERT_TRUE(modelB0.isValid());  in TEST_F()
1668         ASSERT_TRUE(modelB1.isValid());  in TEST_F()
1691     ASSERT_TRUE(model.isValid());  in TEST_F()
1731         ASSERT_TRUE(modelB0.isValid());  in TEST_F()
1751         ASSERT_TRUE(modelB1.isValid());  in TEST_F()
1774         ASSERT_TRUE(modelB2.isValid());  in TEST_F()
1798         ASSERT_TRUE(modelB3.isValid());  in TEST_F()
1821     ASSERT_TRUE(model.isValid());  in TEST_F()
1868     ASSERT_TRUE(model.isValid());  in TEST_F()
1889         ASSERT_TRUE(model0.isValid());  in TEST_F()
1913         ASSERT_TRUE(model1.isValid());  in TEST_F()
1936         ASSERT_TRUE(model2.isValid());  in TEST_F()
1957     ASSERT_TRUE(model.isValid());  in TEST_F()
2007     ASSERT_TRUE(model.isValid());  in TEST_F()
2030         ASSERT_TRUE(model0.isValid());  in TEST_F()
2047         ASSERT_TRUE(model1.isValid());  in TEST_F()
2066     ASSERT_TRUE(model.isValid());  in TEST_F()
2114         ASSERT_TRUE(model.isValid());  in TEST_F()
2156         ASSERT_TRUE(model.isValid());  in TEST_F()
2335     ASSERT_TRUE(mModel->isValid());  in makeModelAndValidate()
2382             ASSERT_TRUE(modelA0.isValid());  in compileModelAndComparePlan()
2405             ASSERT_TRUE(modelA1.isValid());  in compileModelAndComparePlan()
2722         ASSERT_TRUE(model->isValid());  in createModelForCachingTests()
2737             ASSERT_TRUE(trueModel->isValid());  in createControlFlowModelForCachingTests()
2747             ASSERT_TRUE(falseModel->isValid());  in createControlFlowModelForCachingTests()
2759             ASSERT_TRUE(mainModel->isValid());  in createControlFlowModelForCachingTests()
3137         EXPECT_TRUE(model->isValid());  in createBranchOrBodyModel()
3152         EXPECT_TRUE(model->isValid());  in createCondModel()
3174         EXPECT_TRUE(mainModel->isValid());  in createIfModel()
3200         EXPECT_TRUE(mainModel->isValid());  in createWhileModel()
3392         ASSERT_TRUE(mModel->isValid());  in finishAndPartitionModelForDevices()
3484     EXPECT_TRUE(thenModel->isValid());  in TEST_F()
3492     EXPECT_TRUE(elseModel->isValid());  in TEST_F()
3536     EXPECT_TRUE(condModel->isValid());  in TEST_F()
3549     EXPECT_TRUE(bodyModel->isValid());  in TEST_F()
3612     EXPECT_TRUE(condModel->isValid());  in TEST_F()
3620     EXPECT_TRUE(thenModel->isValid());  in TEST_F()
3628     EXPECT_TRUE(elseModel->isValid());  in TEST_F()
3639     EXPECT_TRUE(bodyModel->isValid());  in TEST_F()