js-binding: add tests

.github/workflows/js-binding.yml

@@ -16,11 +16,11 @@ on:
 #   run:
 #     working-directory: src/api/js
 
-env:
-  EM_VERSION: 3.1.73
+# env:
+#   EM_VERSION: 3.1.73
 
-permissions:
-  contents: read # to fetch code (actions/checkout)
+# permissions:
+#   contents: read # to fetch code (actions/checkout)
 
 jobs:
   ubuntu-build:
@@ -57,13 +57,11 @@ jobs:
           emcmake cmake -DCMAKE_BUILD_TYPE=Release -DMATA_BUILD_EXAMPLES:BOOL=OFF -DBUILD_TESTING:BOOL=OFF ..
           emmake make install
 
-      
-
-      - name: Setup emscripten
-        uses: mymindstorm/setup-emsdk@v14
-        with:
-          version: 3.1.73
-          actions-cache-folder: 'emsdk-cache'
+      # - name: Setup emscripten
+      #   uses: mymindstorm/setup-emsdk@v14
+      #   with:
+      #     version: 3.1.73
+      #     actions-cache-folder: 'emsdk-cache'
 
       - name: Compile JS Binding for Z3-Noodler
         run: |
@@ -74,6 +72,11 @@ jobs:
           npm run build:ts
           npm run build:wasm
       
+      - name: Test JS Binding
+        run: |
+          cd src/api/js
+          npm test
+      
       # - name: Build wasm
       #   run: |
       #     emsdk install ${EM_VERSION}