From 814cfef7698aaeec02df5ee2af2d81bbeaa2d097 Mon Sep 17 00:00:00 2001
From: Sean Bowe <ewillbefull@gmail.com>
Date: Wed, 7 Feb 2018 16:52:24 -0700
Subject: [PATCH] Use more descriptive synthesis errors now available in
 bellman.

---
 src/circuit/boolean.rs |  2 +-
 src/circuit/mont.rs    | 12 ++++++------
 src/circuit/num.rs     |  2 +-
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/circuit/boolean.rs b/src/circuit/boolean.rs
index 24dd4bd..919acbb 100644
--- a/src/circuit/boolean.rs
+++ b/src/circuit/boolean.rs
@@ -396,7 +396,7 @@ impl<Var: Copy> Boolean<Var> {
                 Ok(())
             },
             Boolean::Constant(true) => {
-                Err(SynthesisError::AssignmentMissing)
+                Err(SynthesisError::Unsatisfiable)
             },
             Boolean::Is(ref res) => {
                 cs.enforce(
diff --git a/src/circuit/mont.rs b/src/circuit/mont.rs
index d76b97d..85fa495 100644
--- a/src/circuit/mont.rs
+++ b/src/circuit/mont.rs
@@ -315,7 +315,7 @@ impl<E: JubjubEngine, Var: Copy> EdwardsPoint<E, Var> {
                     Ok(t0)
                 },
                 None => {
-                    Err(SynthesisError::AssignmentMissing)
+                    Err(SynthesisError::DivisionByZero)
                 }
             }
         })?;
@@ -345,7 +345,7 @@ impl<E: JubjubEngine, Var: Copy> EdwardsPoint<E, Var> {
                     Ok(t0)
                 },
                 None => {
-                    Err(SynthesisError::AssignmentMissing)
+                    Err(SynthesisError::DivisionByZero)
                 }
             }
         })?;
@@ -394,7 +394,7 @@ impl<E: JubjubEngine, Var: Copy> MontgomeryPoint<E, Var> {
                     Ok(t0)
                 },
                 None => {
-                    Err(SynthesisError::AssignmentMissing)
+                    Err(SynthesisError::DivisionByZero)
                 }
             }
         })?;
@@ -420,7 +420,7 @@ impl<E: JubjubEngine, Var: Copy> MontgomeryPoint<E, Var> {
                     Ok(t0)
                 },
                 None => {
-                    Err(SynthesisError::AssignmentMissing)
+                    Err(SynthesisError::DivisionByZero)
                 }
             }
         })?;
@@ -480,7 +480,7 @@ impl<E: JubjubEngine, Var: Copy> MontgomeryPoint<E, Var> {
                     Ok(n)
                 },
                 None => {
-                    Err(SynthesisError::AssignmentMissing)
+                    Err(SynthesisError::DivisionByZero)
                 }
             }
         })?;
@@ -579,7 +579,7 @@ impl<E: JubjubEngine, Var: Copy> MontgomeryPoint<E, Var> {
                     Ok(t0)
                 },
                 None => {
-                    Err(SynthesisError::AssignmentMissing)
+                    Err(SynthesisError::DivisionByZero)
                 }
             }
         })?;
diff --git a/src/circuit/num.rs b/src/circuit/num.rs
index 0386fe1..f0255aa 100644
--- a/src/circuit/num.rs
+++ b/src/circuit/num.rs
@@ -272,7 +272,7 @@ impl<E: Engine, Var: Copy> AllocatedNum<E, Var> {
             let tmp = *self.value.get()?;
             
             if tmp.is_zero() {
-                Err(SynthesisError::AssignmentMissing)
+                Err(SynthesisError::DivisionByZero)
             } else {
                 Ok(tmp.inverse().unwrap())
             }