From 8bfe2a7f7beb90ad665bcd6343a922bfa5e6c62e Mon Sep 17 00:00:00 2001
From: schaeff <thibaut@schaeff.fr>
Date: Thu, 29 Nov 2018 14:38:23 +0100
Subject: [PATCH] test both backends

---
 zokrates_cli/tests/integration.rs | 86 +++++++++++++++++--------------
 1 file changed, 47 insertions(+), 39 deletions(-)

diff --git a/zokrates_cli/tests/integration.rs b/zokrates_cli/tests/integration.rs
index 4441413a..6c17a40e 100644
--- a/zokrates_cli/tests/integration.rs
+++ b/zokrates_cli/tests/integration.rs
@@ -162,47 +162,55 @@ mod integration {
 
         #[cfg(feature = "libsnark")]
         {
-            // SETUP
-            assert_cli::Assert::command(&[
-                "../target/release/zokrates",
-                "setup",
-                "-i",
-                flattened_path.to_str().unwrap(),
-                "-p",
-                proving_key_path.to_str().unwrap(),
-                "-v",
-                verification_key_path.to_str().unwrap(),
-                "-m",
-                variable_information_path.to_str().unwrap(),
-            ])
-            .succeeds()
-            .unwrap();
+            for backend in &["pghr13", "gm17"] {
+                // SETUP
+                assert_cli::Assert::command(&[
+                    "../target/release/zokrates",
+                    "setup",
+                    "-i",
+                    flattened_path.to_str().unwrap(),
+                    "-p",
+                    proving_key_path.to_str().unwrap(),
+                    "-v",
+                    verification_key_path.to_str().unwrap(),
+                    "-m",
+                    variable_information_path.to_str().unwrap(),
+                    "--backend",
+                    backend,
+                ])
+                .succeeds()
+                .unwrap();
 
-            // EXPORT-VERIFIER
-            assert_cli::Assert::command(&[
-                "../target/release/zokrates",
-                "export-verifier",
-                "-i",
-                verification_key_path.to_str().unwrap(),
-                "-o",
-                verification_contract_path.to_str().unwrap(),
-            ])
-            .succeeds()
-            .unwrap();
+                // EXPORT-VERIFIER
+                assert_cli::Assert::command(&[
+                    "../target/release/zokrates",
+                    "export-verifier",
+                    "-i",
+                    verification_key_path.to_str().unwrap(),
+                    "-o",
+                    verification_contract_path.to_str().unwrap(),
+                    "--backend",
+                    backend,
+                ])
+                .succeeds()
+                .unwrap();
 
-            // GENERATE-PROOF
-            assert_cli::Assert::command(&[
-                "../target/release/zokrates",
-                "generate-proof",
-                "-w",
-                witness_path.to_str().unwrap(),
-                "-p",
-                proving_key_path.to_str().unwrap(),
-                "-i",
-                variable_information_path.to_str().unwrap(),
-            ])
-            .succeeds()
-            .unwrap();
+                // GENERATE-PROOF
+                assert_cli::Assert::command(&[
+                    "../target/release/zokrates",
+                    "generate-proof",
+                    "-w",
+                    witness_path.to_str().unwrap(),
+                    "-p",
+                    proving_key_path.to_str().unwrap(),
+                    "-i",
+                    variable_information_path.to_str().unwrap(),
+                    "--backend",
+                    backend,
+                ])
+                .succeeds()
+                .unwrap();
+            }
         }
     }
 }