Update Lookup failure type

privacy-scaling-explorations · May 3, 2023 · 5000d53 · 5000d53
1 parent 4d1544d
commit 5000d53
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/gadgets/src/evm_word.rs b/gadgets/src/evm_word.rs
@@ -254,7 +254,7 @@ mod tests {
             assert_eq!(
                 prover.verify(),
                 Err(vec![VerifyFailure::Lookup {
-                    name: "Encoded word / Pub inputs",
+                    name: "Encoded word / Pub inputs".to_string(),
                     lookup_index: 32,
                     location: FailureLocation::InRegion {
                         region: halo2_proofs::dev::metadata::Region::from((

diff --git a/gadgets/src/monotone.rs b/gadgets/src/monotone.rs
@@ -230,15 +230,15 @@ mod test {
             vec![1, 2, 2, 4, 4],
             Err(vec![
                 Lookup {
-                    name: "Range check",
+                    name: "Range check".to_string(),
                     lookup_index: 0,
                     location: FailureLocation::InRegion {
                         region: halo2_proofs::dev::metadata::Region::from((1, "witness")),
                         offset: 2,
                     },
                 },
                 Lookup {
-                    name: "Range check",
+                    name: "Range check".to_string(),
                     lookup_index: 0,
                     location: FailureLocation::InRegion {
                         region: halo2_proofs::dev::metadata::Region::from((1, "witness")),
@@ -251,7 +251,7 @@ mod test {
         try_test_circuit(
             vec![1, 2, 3, 4, 105],
             Err(vec![Lookup {
-                name: "Range check",
+                name: "Range check".to_string(),
                 lookup_index: 0,
                 location: FailureLocation::InRegion {
                     region: halo2_proofs::dev::metadata::Region::from((1, "witness")),
@@ -263,7 +263,7 @@ mod test {
         try_test_circuit(
             vec![1, 2, 3, 103, 4],
             Err(vec![Lookup {
-                name: "Range check",
+                name: "Range check".to_string(),
                 lookup_index: 0,
                 location: FailureLocation::InRegion {
                     region: halo2_proofs::dev::metadata::Region::from((1, "witness")),
@@ -286,7 +286,7 @@ mod test {
         try_test_circuit(
             vec![1, 2, 3, 4, 105],
             Err(vec![Lookup {
-                name: "Range check",
+                name: "Range check".to_string(),
                 lookup_index: 0,
                 location: FailureLocation::InRegion {
                     region: halo2_proofs::dev::metadata::Region::from((1, "witness")),
@@ -298,7 +298,7 @@ mod test {
         try_test_circuit(
             vec![1, 2, 3, 103, 4],
             Err(vec![Lookup {
-                name: "Range check",
+                name: "Range check".to_string(),
                 lookup_index: 0,
                 location: FailureLocation::InRegion {
                     region: halo2_proofs::dev::metadata::Region::from((1, "witness")),