Updated CI.yml and readme.md.

.github/workflows/CI.yml

@@ -11,7 +11,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
-      - name: Verify
+      - name: Test
         run: |
           (DIR=kekinian && SIREUM_V=master && export SIREUM_NO_SETUP=true && rm -fR $DIR && mkdir -p $DIR/bin && cd $DIR/bin && curl -JLso init.sh https://raw.githubusercontent.com/sireum/kekinian/$SIREUM_V/bin/init.sh && bash init.sh)
           SIREUM_HOME=`pwd`/kekinian bin/test.cmd 

readme.md

@@ -24,7 +24,7 @@ truth tables.
    sireum proyek assemble --jar logika-upgrader --uber --main Upgrader logika-upgrader
    ```
 
-2. Run the batch file:
+2. Run the batch file (assuming Java is in the PATH env var):
 
    * On **macOS/Linux**:
 
@@ -49,6 +49,21 @@ truth tables.
    The last `auto` option should used for programming logic Auto or SymExe Logika v3 mode (by default
    the upgrader detects auto mode by determining whether `auto` or `symexe` is in the (lower-cased) `<input>` path. 
 
+   If Java is not in the PATH env var, you can run it as follows:
+
+   * On **macOS/Linux**:
+
+     ```sh
+     $JAVA_HOME/bin/java -jar out/logika-upgrader/assemble/logika-upgrader.jar.bat
+     ```
+
+   * On **Windows**:
+
+     ```cmd
+     %JAVA_HOME%\bin\java.exe -jar out\logika-upgrader\assemble\logika-upgrader.jar.bat
+     ```
+   
+
 ## Test
 
 Execute [bin/test.cmd](bin/test.cmd) to run the upgrader on https://github.com/sireum/v3-logika-examples to see