I think this is not needed

jsinglet · jsinglet · commit 359d8ca057c4 · 2023-02-08T10:53:13.000-05:00
diff --git a/c/misra/test/rules/RULE-17-3/test.c b/c/misra/test/rules/RULE-17-3/test.c
@@ -1,5 +1,3 @@
-// semmle-extractor-options:--clang -std=c11 -nostdinc
-// -I../../../../common/test/includes/standard-library
 double f1(double x); // COMPLIANT
 f2(double x);        // NON_COMPLIANT
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-// semmle-extractor-options:--clang -std=c11 -nostdinc`
`2`		`-// -I../../../../common/test/includes/standard-library`
`3`	`1`	`double f1(double x); // COMPLIANT`
`4`	`2`	`f2(double x); // NON_COMPLIANT`
`5`	`3`