Java 15: adjust test options

2026-07-05 19:45:29 +02:00 · 2020-11-26 00:14:24 -05:00
5 changed files with 5 additions and 5 deletions
--- a/java/ql/test/library-tests/dataflow/records/options
+++ b/java/ql/test/library-tests/dataflow/records/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
+//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15
--- a/java/ql/test/library-tests/dataflow/taint-format/options
+++ b/java/ql/test/library-tests/dataflow/taint-format/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
+//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15
--- a/java/ql/test/library-tests/printAst/options
+++ b/java/ql/test/library-tests/printAst/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
+//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15
--- a/java/ql/test/library-tests/ssa/options
+++ b/java/ql/test/library-tests/ssa/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
+//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15
--- a/java/ql/test/query-tests/StringFormat/options
+++ b/java/ql/test/query-tests/StringFormat/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --enable-preview -source 14 -target 14
+//semmle-extractor-options: --javac-args --enable-preview -source 15 -target 15