Skip to content

Commit ee01d1f

Browse files
committed
TestOther::testUnusedLabelPremiumMisra
1 parent aff1fe9 commit ee01d1f

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

test/testother.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12512,7 +12512,7 @@ class TestOther : public TestFixture {
1251212512
" label:\n"
1251312513
"}\n", dinit(CheckOptions, $.settings = &s));
1251412514
ASSERT_EQUALS("", errout_str());
12515-
s.premiumArgs = "--premium=misra-c-2012"; // <- activates unusedLabel checking
12515+
s.premiumArgs = "--misra-c-2012"; // <- activates unusedLabel checking
1251612516
check("void f() {\n"
1251712517
" label:\n"
1251812518
"}\n", dinit(CheckOptions, $.settings = &s));

0 commit comments

Comments
 (0)