vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
pub use super::super::{SAMPLE, custom_witness_args};
mod check_custom;
mod custom_checker_accepts_always_true;
mod custom_checker_catches_always_false;
mod custom_checker_catches_subtle_max_max_violation;
mod custom_witness_args;
mod fakes;
pub use check_custom::check_custom;
pub use fakes::{
    fake_custom_always_false,
    fake_custom_always_true,
    fake_custom_subtle_violation,
};

pub use custom_witness_args::{custom_witness_args};