Change JDK to Zulu 11

PySymGym · Aug 25, 2024 · c886326 · c886326
1 parent af2b1e5
commit c886326
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/simple-build.yml b/.github/workflows/simple-build.yml
@@ -16,10 +16,10 @@ jobs:
 
       # Runs a single command using the runners shell
       - name: Setup Java JDK
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v3.5.0
         with:
-          distribution: 'oracle'
-          java-version: '21'
+          distribution: 'zulu'
+          java-version: '11'
           cache: "gradle"    
 
       # Runs a set of commands using the runners shell

diff --git a/usvm-core/src/main/kotlin/org/usvm/ps/SequentialPathSelector.kt b/usvm-core/src/main/kotlin/org/usvm/ps/SequentialPathSelector.kt
@@ -20,7 +20,7 @@ class SequentialPathSelector<State>(
 
     override fun peek(): State {
         if (totalSteps == stepsToSwitch) {
-            selectors.removeFirst()
+            selectors.drop(1)
             currentSelector = selectors.first()
         }
         return currentSelector.peek()