Rename test-zk-64.sh -> test-zkasm.sh

.github/workflows/main.yml

@@ -37,15 +37,15 @@ concurrency:
   cancel-in-progress: true
 
 jobs:  
-  test_zkasm_64:
-    name: Test generated zkAsm on 64-bit zk processor
+  test_zkasm:
+    name: Test generated zkAsm on the ZK processor
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v3
     - uses: actions/setup-node@v3
       with:
         node-version: '20.8.0'
-    - run: ./ci/test-zk-64.sh --install-zkwasm --all
+    - run: ./ci/test-zkasm.sh --install-zkwasm --all
 
   rustfmt:
     name: Rustfmt
@@ -742,7 +742,7 @@ jobs:
     name: Record the result of testing and building steps
     runs-on: ubuntu-latest
     needs:
-      - test_zkasm_64
+      - test_zkasm
       - test
       - build
       - rustfmt

cranelift/codegen/src/isa/zkasm/docs/usage.md

@@ -68,19 +68,19 @@ To test a `.zkasm` file:
 3. Execute the following from the `wasmtime/` directory to test the zk-asm:
 
    ```bash
-   ./ci/test-zk.sh --all
+   ./ci/test-zkasm.sh --all
    ```
 
    Or, for a specific file:
 
    ```bash
-   ./ci/test-zk.sh <filename>
+   ./ci/test-zkasm.sh <filename>
    ```
 
    For example:
 
    ```bash
-   ./ci/test-zk.sh zkasm_data/generated/add.zkasm
+   ./ci/test-zkasm.sh zkasm_data/generated/add.zkasm
    ```
 
 ## Logging during Compilation