tests

.circleci/config.yml

@@ -120,6 +120,7 @@ jobs:
         - run: unzip ./persist/desktopbuild.zip
         - run: 
             command: |
+                apt-get install libglib2.0-dev
                 nvm install 20.2
                 nvm use 20.2
                 node -v

apps/circuit-compiler/src/app/components/generateProof.tsx

@@ -27,7 +27,7 @@ export function GenerateProof () {
         className="btn btn-secondary btn-block d-block w-100 text-break mb-1 mt-1"
         onClick={() => generateProof(circuitApp.plugin, circuitApp.appState, circuitApp.dispatch)}
         disabled={(status === "compiling") || (status === "computing") || (status === "proving") || (status === "exporting")}
-        data-id="compute_witness_btn"
+        data-id="generateProofBtn"
       >
         <RenderIf condition={status === 'proving'}>
           <i className="fas fa-sync fa-spin mr-2" aria-hidden="true"></i>

apps/remixdesktop/test/tests/app/circom-compiler.test.ts

@@ -45,23 +45,40 @@ const tests = {
             .click('[data-id="treeViewLitreeViewItemcircuits/.bin/simple_js"]')
             .waitForElementVisible('[data-id="treeViewLitreeViewItemcircuits/.bin/simple_js/simple.wasm"]')
     },
-    'Should compute a witness for a simple circuit #group1': function (browser: NightwatchBrowser) {
+    'Should run setup script for simple circuit': function (browser: NightwatchBrowser) {
         browser
-          .clickLaunchIcon('circuit-compiler')
-          .frame(0)
-          .waitForElementVisible('[data-id="witness_toggler"]')
-          .click('[data-id="witness_toggler"]')
-          .waitForElementVisible('[data-id="compute_witness_btn"]')
-          .waitForElementVisible('[data-id="circuit_input_a"]')
-          .waitForElementVisible('[data-id="circuit_input_b"]')
-          .setValue('[data-id="circuit_input_a"]', '1')
-          .setValue('[data-id="circuit_input_b"]', '2')
-          .click('[data-id="compute_witness_btn"]')
-          .frameParent()
-          .clickLaunchIcon('filePanel')
-          .waitForElementPresent('[data-id="treeViewLitreeViewItemcircuits/.bin/simple_js/simple.wtn"]')
-          .waitForElementVisible('[data-id="treeViewLitreeViewItemcircuits/.bin/simple_js/simple.wtn"]')
-      },
+            .clickLaunchIcon('circuit-compiler')
+            .frame(0)
+            .waitForElementVisible('[data-id="runSetupBtn"]')
+            .click('[data-id="runSetupBtn"]')
+    },
+    'Should compute a witness for a simple circuit': function (browser: NightwatchBrowser) {
+        browser
+            .waitForElementVisible('[data-id="compute_witness_btn"]', 60000)
+            .waitForElementVisible('[data-id="circuit_input_a"]')
+            .waitForElementVisible('[data-id="circuit_input_b"]')
+            .setValue('[data-id="circuit_input_a"]', '1')
+            .setValue('[data-id="circuit_input_b"]', '2')
+            .click('[data-id="compute_witness_btn"]')
+            .frameParent()
+            .clickLaunchIcon('filePanel')
+            .waitForElementPresent('[data-id="treeViewLitreeViewItemcircuits/.bin/simple_js/simple.wtn"]')
+            .waitForElementVisible('[data-id="treeViewLitreeViewItemcircuits/.bin/simple_js/simple.wtn"]')
+    },
+    'Should generate proof for a simple circuit': function (browser: NightwatchBrowser) {
+        browser
+            .clickLaunchIcon('circuit-compiler')
+            .frame(0)
+            .waitForElementVisible('[data-id="generateProofBtn"]')
+            .click('[data-id="generateProofBtn"]')
+            .frameParent()
+            .waitForElementVisible({
+                locateStrategy: 'xpath',
+                selector: "//span[@class='text-log' and contains(., 'zk proof validity true')]",
+                timeout: 60000
+            })
+
+    }
 }
 
 module.exports = tests