mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
20d59bc767
Reorganise the structure of the repository to have a workspace with the library and the binary.
21 lines
657 B
Plaintext
21 lines
657 B
Plaintext
#[test]
|
|
fn {name}() {{
|
|
let resource = "{path}";
|
|
log::debug!("resource: {{}}", resource);
|
|
let grounded = "{grounded}";
|
|
log::debug!("Grounded: {{}}", grounded);
|
|
let parser = AdfParser::default();
|
|
let expected_result = std::fs::read_to_string(grounded);
|
|
assert!(expected_result.is_ok());
|
|
let input = std::fs::read_to_string(resource).unwrap();
|
|
parser.parse()(&input).unwrap();
|
|
parser.varsort_alphanum();
|
|
let adf = Adf::from_parser(&parser);
|
|
let grounded = adf.grounded();
|
|
assert_eq!(
|
|
format!("{{}}", adf.print_interpretation(&grounded)),
|
|
format!("{{}}\n",expected_result.unwrap())
|
|
);
|
|
}}
|
|
|