1use crate::*;
 2use ark_r1cs_std::groups::curves::{short_weierstrass::ProjectiveVar, twisted_edwards::AffineVar};
 3
 4use crate::constraints::FqVar;
 5
 6/// A variable that is the R1CS equivalent of `crate::EdwardsAffine`.
 7pub type EdwardsVar = AffineVar<JubjubParameters, FqVar>;
 8
 9/// A variable that is the R1CS equivalent of `crate::SWProjective`
10pub type SWVar = ProjectiveVar<JubjubParameters, FqVar>;
11
12#[test]
13fn test() {
14    ark_curve_constraint_tests::curves::te_test::<_, EdwardsVar>().unwrap();
15    ark_curve_constraint_tests::curves::sw_test::<_, SWVar>().unwrap();
16    ark_curve_constraint_tests::curves::group_test::<_, Fq, EdwardsVar>().unwrap();
17}