diff options
Diffstat (limited to 'effcee/match_test.cc')
| -rw-r--r-- | effcee/match_test.cc | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/effcee/match_test.cc b/effcee/match_test.cc index 1824911..d1d0944 100644 --- a/effcee/match_test.cc +++ b/effcee/match_test.cc @@ -741,7 +741,7 @@ Begin } -// TODO: Statefulness: variable definitions and uses +// Statefulness: variable definitions and uses TEST(Match, VarDefFollowedByUse) { const auto result = @@ -749,4 +749,13 @@ TEST(Match, VarDefFollowedByUse) { EXPECT_TRUE(result) << result.message(); } +TEST(Match, UndefinedVarNeverMatches) { + const auto result = + Match("Hello HeXllo", "CHECK: He[[X]]llo"); + EXPECT_FALSE(result) << result.message(); +} + + +// TODO: DAG def after use + } // namespace |