@@ -109,7 +109,7 @@ TEST(CFG, SwitchCoveredEnumNoDefault) {
109109 CFG::BuildOptions Options;
110110 Options.AssumeReachableDefaultInSwitchStatements = true ;
111111 BuildResult B = BuildCFG (Code, Options);
112- EXPECT_EQ (BuildResult::BuiltCFG, B.getStatus ());
112+ ASSERT_EQ (BuildResult::BuiltCFG, B.getStatus ());
113113
114114 // [B5 (ENTRY)]
115115 // Succs (1): B2
@@ -156,7 +156,7 @@ TEST(CFG, SwitchCoveredEnumNoDefault) {
156156 // Checking that the same node is Unreachable without this setting
157157 Options.AssumeReachableDefaultInSwitchStatements = false ;
158158 B = BuildCFG (Code, Options);
159- EXPECT_EQ (BuildResult::BuiltCFG, B.getStatus ());
159+ ASSERT_EQ (BuildResult::BuiltCFG, B.getStatus ());
160160
161161 const auto &Entry2 = B.getCFG ()->getEntry ();
162162 ASSERT_EQ (1u , Entry2.succ_size ());
@@ -184,7 +184,7 @@ TEST(CFG, SwitchCoveredEnumWithDefault) {
184184 CFG::BuildOptions Options;
185185 Options.AssumeReachableDefaultInSwitchStatements = true ;
186186 BuildResult B = BuildCFG (Code, Options);
187- EXPECT_EQ (BuildResult::BuiltCFG, B.getStatus ());
187+ ASSERT_EQ (BuildResult::BuiltCFG, B.getStatus ());
188188
189189 // [B6 (ENTRY)]
190190 // Succs (1): B2
@@ -236,7 +236,7 @@ TEST(CFG, SwitchCoveredEnumWithDefault) {
236236 // Checking that the same node is Unreachable without this setting
237237 Options.AssumeReachableDefaultInSwitchStatements = false ;
238238 B = BuildCFG (Code, Options);
239- EXPECT_EQ (BuildResult::BuiltCFG, B.getStatus ());
239+ ASSERT_EQ (BuildResult::BuiltCFG, B.getStatus ());
240240
241241 const auto &Entry2 = B.getCFG ()->getEntry ();
242242 ASSERT_EQ (1u , Entry2.succ_size ());
0 commit comments