Test under Java 26

.azure/azure-pipelines.yml

@@ -16,7 +16,7 @@ jobs:
 
   # The dependsOn clauses (in this file and in .circleci/config.yml) are:
   #  * Everything not *_ubuntu_jdk25 or typecheck_*_jdk25 depends on canary_jobs.
-  #  * Anything *_jdk8 or *_jdk11 or *_jdk17 or *_jdk21 depends on *_jdk25.
+  #  * Anything *_jdk8 or *_jdk11 or *_jdk17 or *_jdk21 or *_jdk26 depends on *_jdk25.
   #  * Anything *_rockylinux_* depends on *_ubuntu_*.
   # The remainder of jobs are run only if the canary_jobs pass.
   - job: canary_jobs
@@ -83,6 +83,18 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-quick-txt-diff.sh
         displayName: test-quick-txt-diff.sh
+  - job: quick_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - quick_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-quick-txt-diff.sh
+        displayName: test-quick-txt-diff.sh
 
   - job: nonquick_ubuntu_jdk11
     dependsOn:
@@ -129,6 +141,18 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-nonquick-txt-diff.sh
         displayName: test-nonquick-txt-diff.sh
+  - job: nonquick_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - nonquick_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-nonquick-txt-diff.sh
+        displayName: test-nonquick-txt-diff.sh
 
   - job: nontxt_ubuntu_jdk11
     dependsOn:
@@ -175,6 +199,18 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-non-txt-diff.sh
         displayName: test-non-txt-diff.sh
+  - job: nontxt_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - nontxt_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-non-txt-diff.sh
+        displayName: test-non-txt-diff.sh
 
   - job: misc_ubuntu_jdk11
     dependsOn:
@@ -229,6 +265,20 @@ jobs:
         displayName: make showvars
       - bash: ./scripts/test-misc.sh
         displayName: test-misc.sh
+  - job: misc_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - misc_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: make showvars
+        displayName: make showvars
+      - bash: ./scripts/test-misc.sh
+        displayName: test-misc.sh
 
   - job: kvasir_ubuntu_jdk11
     dependsOn:
@@ -251,6 +301,18 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-kvasir.sh
         displayName: test-kvasir.sh
+  - job: kvasir_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - kvasir_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-kvasir.sh
+        displayName: test-kvasir.sh
 
   ## The Checker Framework cannot be run under Java 8 or 11.
   ## Thus, there is no typecheck_bundled_ubuntu_jdk{8,11} job.
@@ -493,6 +555,108 @@ jobs:
         displayName: show Java version
       - bash: ./scripts/test-typecheck-with-latest-cf.sh part3
         displayName: test-typecheck-with-latest-cf.sh part3
+  - job: typecheck_bundled_part1_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - typecheck_bundled_part1_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    timeoutInMinutes: 40
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: |
+          java -version
+          javac -version
+        displayName: show Java version
+      - bash: ./scripts/test-typecheck-with-bundled-cf.sh part1
+        displayName: test-typecheck-with-bundled-cf.sh part1
+  - job: typecheck_bundled_part2_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - typecheck_bundled_part2_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    timeoutInMinutes: 40
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: |
+          java -version
+          javac -version
+        displayName: show Java version
+      - bash: ./scripts/test-typecheck-with-bundled-cf.sh part2
+        displayName: test-typecheck-with-bundled-cf.sh part2
+  - job: typecheck_bundled_part3_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - typecheck_bundled_part3_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    timeoutInMinutes: 40
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: |
+          java -version
+          javac -version
+        displayName: show Java version
+      - bash: ./scripts/test-typecheck-with-bundled-cf.sh part3
+        displayName: test-typecheck-with-bundled-cf.sh part3
+  - job: typecheck_latest_part1_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - typecheck_latest_part1_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    timeoutInMinutes: 40
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: |
+          java -version
+          javac -version
+        displayName: show Java version
+      - bash: ./scripts/test-typecheck-with-latest-cf.sh part1
+        displayName: test-typecheck-with-latest-cf.sh part1
+  - job: typecheck_latest_part2_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - typecheck_latest_part2_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    timeoutInMinutes: 40
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: |
+          java -version
+          javac -version
+        displayName: show Java version
+      - bash: ./scripts/test-typecheck-with-latest-cf.sh part2
+        displayName: test-typecheck-with-latest-cf.sh part2
+  - job: typecheck_latest_part3_ubuntu_jdk26
+    dependsOn:
+      - canary_jobs
+      - typecheck_latest_part3_ubuntu_jdk25
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-ubuntu-jdk26-plus${{ variables.testingSuffix }}:latest
+    timeoutInMinutes: 40
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: |
+          java -version
+          javac -version
+        displayName: show Java version
+      - bash: ./scripts/test-typecheck-with-latest-cf.sh part3
+        displayName: test-typecheck-with-latest-cf.sh part3
 
   - job: quick_rockylinux_jdk11
     dependsOn:
@@ -519,6 +683,19 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-quick-txt-diff.sh
         displayName: test-quick-txt-diff.sh
+  - job: quick_rockylinux_jdk26
+    dependsOn:
+      - canary_jobs
+      - quick_rockylinux_jdk25
+      - quick_ubuntu_jdk26
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-rockylinux-jdk26${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-quick-txt-diff.sh
+        displayName: test-quick-txt-diff.sh
 
   - job: nonquick_rockylinux_jdk11
     dependsOn:
@@ -545,6 +722,19 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-nonquick-txt-diff.sh
         displayName: test-nonquick-txt-diff.sh
+  - job: nonquick_rockylinux_jdk26
+    dependsOn:
+      - canary_jobs
+      - nonquick_rockylinux_jdk25
+      - nonquick_ubuntu_jdk26
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-rockylinux-jdk26${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-nonquick-txt-diff.sh
+        displayName: test-nonquick-txt-diff.sh
 
   - job: nontxt_rockylinux_jdk11
     dependsOn:
@@ -571,6 +761,19 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-non-txt-diff.sh
         displayName: test-non-txt-diff.sh
+  - job: nontxt_rockylinux_jdk26
+    dependsOn:
+      - canary_jobs
+      - nontxt_rockylinux_jdk25
+      - nontxt_ubuntu_jdk26
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-rockylinux-jdk26${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-non-txt-diff.sh
+        displayName: test-non-txt-diff.sh
 
   - job: misc_rockylinux_jdk11
     dependsOn:
@@ -601,6 +804,21 @@ jobs:
         displayName: make showvars
       - bash: ./scripts/test-misc.sh
         displayName: test-misc.sh
+  - job: misc_rockylinux_jdk26
+    dependsOn:
+      - canary_jobs
+      - misc_rockylinux_jdk25
+      - misc_ubuntu_jdk26
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-rockylinux-jdk26-plus${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: make showvars
+        displayName: make showvars
+      - bash: ./scripts/test-misc.sh
+        displayName: test-misc.sh
 
   - job: kvasir_rockylinux_jdk11
     dependsOn:
@@ -627,6 +845,19 @@ jobs:
         fetchDepth: 25
       - bash: ./scripts/test-kvasir.sh
         displayName: test-kvasir.sh
+  - job: kvasir_rockylinux_jdk26
+    dependsOn:
+      - canary_jobs
+      - kvasir_rockylinux_jdk25
+      - kvasir_ubuntu_jdk26
+    pool:
+      vmImage: 'ubuntu-latest'
+    container: mdernst/daikon-rockylinux-jdk26-plus${{ variables.testingSuffix }}:latest
+    steps:
+      - checkout: self
+        fetchDepth: 25
+      - bash: ./scripts/test-kvasir.sh
+        displayName: test-kvasir.sh
 
 #   ## Enable this job to prioritize typechecking a single file, without waiting for other tests.
 #   - job: typecheck_onefile_jdk21

.azure/azure-pipelines.yml.m4

@@ -20,7 +20,7 @@ jobs:
 
   # The dependsOn clauses (in this file and in .circleci/config.yml) are:
   #  * Everything not *_ubuntu_jdk[]canary_version or typecheck_*_jdk[]canary_version depends on canary_jobs.
-  #  * Anything *_jdk8 or *_jdk11 or *_jdk17 or *_jdk21 depends on *_jdk25.
+  #  * Anything *_jdk8 or *_jdk11 or *_jdk17 or *_jdk21 or *_jdk26 depends on *_jdk25.
   #  * Anything *_rockylinux_* depends on *_ubuntu_*.
   # The remainder of jobs are run only if the canary_jobs pass.
   - job: canary_jobs

.azure/jobs.m4

@@ -2,24 +2,29 @@ quick_job(ubuntu, 11)
 quick_job(ubuntu, 17)
 quick_job(ubuntu, 21)
 quick_job(ubuntu, 25)
+quick_job(ubuntu, 26)
 
 nonquick_job(ubuntu, 11)
 nonquick_job(ubuntu, 17)
 nonquick_job(ubuntu, 21)
 nonquick_job(ubuntu, 25)
+nonquick_job(ubuntu, 26)
 
 nontxt_job(ubuntu, 11)
 nontxt_job(ubuntu, 17)
 nontxt_job(ubuntu, 21)
 nontxt_job(ubuntu, 25)
+nontxt_job(ubuntu, 26)
 
 misc_job(ubuntu, 11)
 misc_job(ubuntu, 17)
 misc_job(ubuntu, 21)
 misc_job(ubuntu, 25)
+misc_job(ubuntu, 26)
 
 kvasir_job(ubuntu, 11)
 kvasir_job(ubuntu, 25)
+kvasir_job(ubuntu, 26)
 
   ## The Checker Framework cannot be run under Java 8 or 11.
   ## Thus, there is no typecheck_bundled_ubuntu_jdk{8,11} job.
@@ -30,18 +35,25 @@ typecheck_job_parts(ubuntu, 21, bundled)
 typecheck_job_parts(ubuntu, 21, latest)
 typecheck_job_parts(ubuntu, 25, bundled)
 typecheck_job_parts(ubuntu, 25, latest)
+typecheck_job_parts(ubuntu, 26, bundled)
+typecheck_job_parts(ubuntu, 26, latest)
 
 quick_job(rockylinux, 11)
 quick_job(rockylinux, 25)
+quick_job(rockylinux, 26)
 
 nonquick_job(rockylinux, 11)
 nonquick_job(rockylinux, 25)
+nonquick_job(rockylinux, 26)
 
 nontxt_job(rockylinux, 11)
 nontxt_job(rockylinux, 25)
+nontxt_job(rockylinux, 26)
 
 misc_job(rockylinux, 11)
 misc_job(rockylinux, 25)
+misc_job(rockylinux, 26)
 
 kvasir_job(rockylinux, 11)
 kvasir_job(rockylinux, 25)
+kvasir_job(rockylinux, 26)

.circleci/Makefile

@@ -1,7 +1,7 @@
 PLUME_SCRIPTS ?= ../.utils/plume-scripts
 ifeq (,$(wildcard ${PLUME_SCRIPTS}))
-mkdir -p $(dirname ${PLUME_SCRIPTS})
-dummy := $(shell git clone --depth=1 -q https://github.com/plume-lib/plume-scripts.git ${PLUME_SCRIPTS})
+dummy1 := $(shell mkdir -p $(dirname ${PLUME_SCRIPTS}))
+dummy2 := $(shell git clone --depth=1 -q https://github.com/plume-lib/plume-scripts.git ${PLUME_SCRIPTS})
 endif
 
 .PHONY: all default clean