use quickcheck_macros::quickcheck;
use yami::parse;
#[quickcheck]
fn prop_parse_never_panics(input: String) -> bool {
let _ = parse(&input);
true
}
#[quickcheck]
fn prop_parse_is_deterministic(input: String) -> bool {
let res1 = parse(&input);
let res2 = parse(&input);
res1 == res2
}