@@ -13,7 +13,7 @@ def test_unmatched_polyspace_suppression(tmp_path):
1313 with open (test_file , 'wt' ) as f :
1414 f .write ('int f(void); /* polyspace MISRA2012:8.2 */\n ' )
1515
16- args = ['--addon=misra' , '--template=simple' , '--enable=all ' , '--inline-suppr' , 'test.c' ]
16+ args = ['--addon=misra' , '--template=simple' , '--enable=style,information ' , '--inline-suppr' , 'test.c' ]
1717
1818 out_exp = ['Checking test.c ...' ]
1919 err_exp = ['test.c:1:0: information: Unmatched suppression: misra-c2012-8.2 [unmatchedPolyspaceSuppression]' ]
@@ -26,7 +26,7 @@ def test_1(tmp_path):
2626 with open (test_file , 'wt' ) as f :
2727 f .write ('int f(); /* polyspace MISRA2012:8.2 */\n ' )
2828
29- args = ['--addon=misra' , '--template=simple' , '--enable=all ' , '--inline-suppr' , 'test.c' ]
29+ args = ['--addon=misra' , '--template=simple' , '--enable=style,information ' , '--inline-suppr' , 'test.c' ]
3030
3131 out_exp = ['Checking test.c ...' ]
3232 err_exp = []
@@ -41,7 +41,7 @@ def test_block(tmp_path):
4141 'int f();\n ' # <- suppression applies to this line
4242 'int g();\n ' ) # <- suppression does not apply to this line
4343
44- args = ['--addon=misra' , '--template=simple' , '--enable=all ' , '--inline-suppr' , 'test.c' ]
44+ args = ['--addon=misra' , '--template=simple' , '--enable=style,information ' , '--inline-suppr' , 'test.c' ]
4545
4646 out_exp = ['Checking test.c ...' ]
4747 err_exp = ['test.c:3:6: style: misra violation (use --rule-texts=<file> to get proper output) [misra-c2012-8.2]' ]
@@ -56,7 +56,7 @@ def test_begin_end(tmp_path):
5656 'int f();\n '
5757 '/* polyspace-end MISRA2012:8.2 */\n ' )
5858
59- args = ['--addon=misra' , '--template=simple' , '--enable=all ' , '--inline-suppr' , 'test.c' ]
59+ args = ['--addon=misra' , '--template=simple' , '--enable=style,information ' , '--inline-suppr' , 'test.c' ]
6060
6161 out_exp = ['Checking test.c ...' ]
6262 err_exp = []
0 commit comments