Skip to content

Commit 48b66db

Browse files
Update testcondition.cpp
1 parent e5f529a commit 48b66db

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

test/testcondition.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4799,7 +4799,7 @@ class TestCondition : public TestFixture {
47994799
" }\n"
48004800
" return false;\n"
48014801
"}\n");
4802-
ASSERT_EQUALS("[test.cpp:6:12] -> [test.cpp:7:21]: (style) Condition 's.g()' is always true [knownConditionTrueFalse]\n", errout_str());
4802+
ASSERT_EQUALS("[test.cpp:6:12] -> [test.cpp:7:21]: (style) Assigned value 's.g()' is always true [knownConditionTrueFalse]\n", errout_str());
48034803
}
48044804

48054805
void alwaysTrueSymbolic()

0 commit comments

Comments
 (0)