leo/compiler/tests/mod.rs

pub mod array;
pub mod boolean;
pub mod circuits;
pub mod field;
pub mod function;
// pub mod group;
// pub mod import;
pub mod integers;
// pub mod mutability;
// pub mod statements;
pub mod syntax;

use leo_compiler::{
    compiler::Compiler,
    errors::CompilerError,
    group::edwards_bls12::EdwardsGroupType,
    ConstrainedValue,
};

use snarkos_curves::edwards_bls12::Fq;
use snarkos_models::gadgets::r1cs::TestConstraintSystem;

pub type EdwardsTestCompiler = Compiler<Fq, EdwardsGroupType>;
pub type EdwardsConstrainedValue = ConstrainedValue<Fq, EdwardsGroupType>;

pub(crate) fn get_output(program: EdwardsTestCompiler) -> EdwardsConstrainedValue {
    let mut cs = TestConstraintSystem::<Fq>::new();
    let output = program.compile_constraints(&mut cs).unwrap();
    assert!(cs.is_satisfied());
    output
}

pub(crate) fn get_error(program: EdwardsTestCompiler) -> CompilerError {
    let mut cs = TestConstraintSystem::<Fq>::new();
    program.compile_constraints(&mut cs).unwrap_err()
}

// pub(crate) fn fail_enforce(program: EdwardsTestCompiler) {
//     match get_error(program) {
//         CompilerError::FunctionError(FunctionError::StatementError(StatementError::AssertionFailed(_, _))) => {}
//         error => panic!("Expected evaluate error, got {}", error),
//     }
// }

pub(crate) fn parse_program(bytes: &[u8]) -> Result<EdwardsTestCompiler, CompilerError> {
    let program_string = String::from_utf8_lossy(bytes);

    let mut compiler = EdwardsTestCompiler::new();

    compiler.parse_program(&program_string)?;

    Ok(compiler)
}