Merge pull request #33 from Loopring/fix-validate-in-prove

kongliangzhong · web-flow · commit 1fa84232f2b6 · 2019-11-29T10:16:44.000+08:00
do validate in prove mode
diff --git a/main.cpp b/main.cpp
@@ -514,7 +514,7 @@ int main (int argc, char **argv)
         }
     }
 
-    if (mode == Mode::Validate)
+    if (mode == Mode::Validate || mode == Mode::Prove)
     {
         // Check if the inputs are valid for the circuit
         if (!pb.is_satisfied())

Original file line number	Diff line number	Diff line change
`@@ -514,7 +514,7 @@ int main (int argc, char **argv)`
`514`	`514`	`}`
`515`	`515`	`}`
`516`	`516`
`517`		`- if (mode == Mode::Validate)`
	`517`	`+ if (mode == Mode::Validate \|\| mode == Mode::Prove)`
`518`	`518`	`{`
`519`	`519`	`// Check if the inputs are valid for the circuit`
`520`	`520`	`if (!pb.is_satisfied())`