Setup gha for counter tests

0xPolygonHermez · Jan 10, 2023 · ace64a6 · ace64a6
1 parent f4f93de
commit ace64a6
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -21,6 +21,9 @@ jobs:
         run: |
           npm i
           npm run build
+      - name: run counters tests
+        run: |
+          npm run test:counters
       - name: Generate tests
         run: |
           npm run test:gen

diff --git a/counters/tests/expAD.zkasm b/counters/tests/expAD.zkasm
@@ -11,7 +11,7 @@ operation:
     %EXPAD_STEP + 300 - STEP:JMPN(failedCounters)
     20 - CNT_BINARY :JMPNZ(failedCounters)
     ;%EXPAD_CNT_BINARY - CNT_BINARY :JMPNZ(failedCounters)
-    5 - CNT_ARITH :JMPNZ(failedCounters)
+    4 - CNT_ARITH :JMPNZ(failedCounters)
     ;%EXPAD_CNT_ARITH - CNT_ARITH :JMPNZ(failedCounters)
     %EXPAD_CNT_KECCAK_F - CNT_KECCAK_F :JMPNZ(failedCounters)
     %EXPAD_CNT_MEM_ALIGN - CNT_MEM_ALIGN :JMPNZ(failedCounters)

diff --git a/package.json b/package.json
@@ -10,6 +10,7 @@
     "test:utils": "mkdir -p build && npx zkasm test/utils-getLenBytes.zkasm -o build/rom-utils.test.json",
     "test:rotate": "mkdir -p build && npx zkasm test/rotate.zkasm -o build/rotate.test.json",
     "test:touched": "mkdir -p build && npx zkasm test/touched-assert.zkasm -o build/touched.test.json",
+    "test:counters": "node counters/counters-executor.js",
     "eslint": "npx eslint tools/**.js",
     "eslint:fix": "npx eslint tools/**.js --fix",
     "test:gen": "node tools/gen-parallel-tests.js",