Change wire order in tests

dusk-network · Dec 15, 2023 · 83e016b · 83e016b
1 parent 2df7423
commit 83e016b
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/tests/append_gate.rs b/tests/append_gate.rs
@@ -92,8 +92,8 @@ fn append_gate() {
     let msg = "Verification of satisfied circuit should pass";
     let a = BlsScalar::one();
     let b = BlsScalar::one();
-    let d = BlsScalar::one();
     let o = -BlsScalar::from(4);
+    let d = BlsScalar::one();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg);
 
@@ -102,8 +102,8 @@ fn append_gate() {
     let msg = "Verification of satisfied circuit should pass";
     let a = BlsScalar::one();
     let b = BlsScalar::zero();
-    let d = BlsScalar::zero();
     let o = -BlsScalar::one();
+    let d = BlsScalar::zero();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg);
 
@@ -112,8 +112,8 @@ fn append_gate() {
     let msg = "Verification of satisfied circuit should pass";
     let a = BlsScalar::zero();
     let b = BlsScalar::one();
-    let d = BlsScalar::zero();
     let o = -BlsScalar::one();
+    let d = BlsScalar::zero();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg);
 
@@ -122,8 +122,8 @@ fn append_gate() {
     let msg = "Verification of satisfied circuit should pass";
     let a = BlsScalar::one();
     let b = BlsScalar::one();
-    let d = BlsScalar::zero();
     let o = -BlsScalar::from(3u64);
+    let d = BlsScalar::zero();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg);
 
@@ -132,8 +132,8 @@ fn append_gate() {
     let msg = "Verification of satisfied circuit should pass";
     let a = -BlsScalar::one();
     let b = BlsScalar::zero();
-    let d = BlsScalar::one();
     let o = BlsScalar::zero();
+    let d = BlsScalar::one();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg);
 
@@ -153,8 +153,8 @@ fn append_gate() {
     let msg = "Proof creation of unsatisfied circuit should fail";
     let a = BlsScalar::random(&mut rng);
     let b = BlsScalar::random(&mut rng);
-    let d = BlsScalar::random(&mut rng);
     let o = BlsScalar::random(&mut rng);
+    let d = BlsScalar::random(&mut rng);
     let public = BlsScalar::random(&mut rng);
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_unsatisfied_circuit(&prover, &circuit, &mut rng, &msg);
@@ -164,8 +164,8 @@ fn append_gate() {
     let msg = "Proof creation of unsatisfied circuit should fail";
     let a = BlsScalar::one();
     let b = BlsScalar::one();
-    let d = BlsScalar::one();
     let o = BlsScalar::one();
+    let d = BlsScalar::one();
     let public = BlsScalar::one();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_unsatisfied_circuit(&prover, &circuit, &mut rng, &msg);
@@ -174,8 +174,8 @@ fn append_gate() {
     let msg = "Verification of unsatisfied circuit should pass";
     let a = BlsScalar::one();
     let b = BlsScalar::one();
-    let d = BlsScalar::one();
     let o = BlsScalar::one();
+    let d = BlsScalar::one();
     let public = BlsScalar::one();
     let circuit = TestCircuit::new(a, b, o, d, public);
     check_unsatisfied_circuit(&prover, &circuit, &mut rng, &msg);