dev: add name for lookup

halo2_proofs/src/dev.rs

@@ -226,6 +226,7 @@ impl fmt::Display for VerifyFailure {
                     "Lookup {}(index: {}) is not satisfied {}",
                     name, lookup_index, location
                 )
+            }
             Self::Permutation { column, row } => {
                 write!(
                     f,
@@ -1131,7 +1132,7 @@ mod tests {
                 let q = meta.complex_selector();
                 let table = meta.lookup_table_column();
 
-                meta.lookup(|cells| {
+                meta.lookup("lookup", |cells| {
                     let a = cells.query_advice(a, Rotation::cur());
                     let q = cells.query_selector(q);
 
@@ -1208,6 +1209,7 @@ mod tests {
         assert_eq!(
             prover.verify(),
             Err(vec![VerifyFailure::Lookup {
+                name: "lookup",
                 lookup_index: 0,
                 location: FailureLocation::InRegion {
                     region: (2, "Faulty synthesis").into(),

halo2_proofs/tests/lookup_any.rs

@@ -208,7 +208,4 @@ fn lookup_any() {
     // the odd number lookup will fail.
     let prover = MockProver::run(k, &circuit, vec![even_lookup]).unwrap();
     assert!(prover.verify().is_err())
-                name: "odd number",
-                name: "odd number",
-                name: "odd number",
 }