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