Skip to content

Commit

Permalink
chore: Remove comments from code for testing
Browse files Browse the repository at this point in the history
  • Loading branch information
@CPerezz
CPerezz committed Jan 10, 2023
1 parent 6485966 commit d3e38bd
Showing 1 changed file with 81 additions and 87 deletions.
168 changes: 81 additions & 87 deletions halo2_proofs/src/dev.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1436,23 +1436,21 @@ mod tests {
}

let prover = MockProver::run(K, &FaultyCircuit {}, vec![]).unwrap();
//print!("{:?}", prover.verify());
prover.assert_satisfied();
// assert_eq!(
// prover.verify(),
// Err(vec![VerifyFailure::CellNotAssigned {
// gate: (0, "Equality check").into(),
// region: (0, "Faulty synthesis".to_owned()).into(),
// gate_offset: 1,
// column: Column::new(
// 1,
// Any::Advice(Advice {
// phase: FirstPhase.to_sealed()
// })
// ),
// offset: 1,
// }])
// );
assert_eq!(
prover.verify(),
Err(vec![VerifyFailure::CellNotAssigned {
gate: (0, "Equality check").into(),
region: (0, "Faulty synthesis".to_owned()).into(),
gate_offset: 1,
column: Column::new(
1,
Any::Advice(Advice {
phase: FirstPhase.to_sealed()
})
),
offset: 1,
}])
);
}

#[test]
Expand Down Expand Up @@ -1574,19 +1572,17 @@ mod tests {
}

let prover = MockProver::run(K, &FaultyCircuit {}, vec![]).unwrap();
//print!("{:?}", prover.verify());
prover.assert_satisfied();
// assert_eq!(
// prover.verify(),
// Err(vec![VerifyFailure::Lookup {
// name: "lookup",
// lookup_index: 0,
// location: FailureLocation::InRegion {
// region: (2, "Faulty synthesis").into(),
// offset: 1,
// }
// }])
// );
assert_eq!(
prover.verify(),
Err(vec![VerifyFailure::Lookup {
name: "lookup",
lookup_index: 0,
location: FailureLocation::InRegion {
region: (2, "Faulty synthesis").into(),
offset: 1,
}
}])
);
}

#[test]
Expand Down Expand Up @@ -1713,62 +1709,60 @@ mod tests {
}

let prover = MockProver::run(K, &FaultyCircuit {}, vec![]).unwrap();
//print!("{:?}", prover.verify());
prover.assert_satisfied();
// assert_eq!(
// prover.verify(),
// Err(vec![VerifyFailure::ConstraintNotSatisfied {
// constraint: ((0, "Equality check").into(), 0, "").into(),
// location: FailureLocation::InRegion {
// region: (1, "Wrong synthesis").into(),
// offset: 0,
// },
// cell_values: vec![
// (
// (
// (
// Any::Advice(Advice {
// phase: FirstPhase.to_sealed()
// }),
// 0
// )
// .into(),
// 0
// )
// .into(),
// "1".to_string()
// ),
// (
// (
// (
// Any::Advice(Advice {
// phase: FirstPhase.to_sealed()
// }),
// 1
// )
// .into(),
// 0
// )
// .into(),
// "0".to_string()
// ),
// (
// (
// (
// Any::Advice(Advice {
// phase: FirstPhase.to_sealed()
// }),
// 2
// )
// .into(),
// 0
// )
// .into(),
// "0x5".to_string()
// ),
// (((Any::Fixed, 0).into(), 0).into(), "0x7".to_string()),
// ],
// },])
// )
assert_eq!(
prover.verify(),
Err(vec![VerifyFailure::ConstraintNotSatisfied {
constraint: ((0, "Equality check").into(), 0, "").into(),
location: FailureLocation::InRegion {
region: (1, "Wrong synthesis").into(),
offset: 0,
},
cell_values: vec![
(
(
(
Any::Advice(Advice {
phase: FirstPhase.to_sealed()
}),
0
)
.into(),
0
)
.into(),
"1".to_string()
),
(
(
(
Any::Advice(Advice {
phase: FirstPhase.to_sealed()
}),
1
)
.into(),
0
)
.into(),
"0".to_string()
),
(
(
(
Any::Advice(Advice {
phase: FirstPhase.to_sealed()
}),
2
)
.into(),
0
)
.into(),
"0x5".to_string()
),
(((Any::Fixed, 0).into(), 0).into(), "0x7".to_string()),
],
},])
)
}
}

0 comments on commit d3e38bd

Please sign in to comment.