From 128839fb81237eca54d1e164606bc6f398d447ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= Date: Mon, 2 Dec 2024 16:16:11 -0500 Subject: [PATCH] wip: pass trough serialization test --- tests/btor2_test.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/tests/btor2_test.rs b/tests/btor2_test.rs index 072302c..0d2764d 100644 --- a/tests/btor2_test.rs +++ b/tests/btor2_test.rs @@ -34,6 +34,22 @@ fn serialize_count2() { insta::assert_snapshot!(skip_first_line(&btor2::serialize_to_str(&ctx, &sys))); } +const PASS_THROUGH: &str = r#" +1 sort bitvec 1 +2 input 1 i +3 output 2 o +"#; + +#[test] +fn serialize_pass_through() { + let mut ctx = Context::default(); + let sys = btor2::parse_str(&mut ctx, PASS_THROUGH, Some("pass")).unwrap(); + let out = btor2::serialize_to_str(&ctx, &sys); + // println!("{}", out); + // println!("{}", skip_first_line(&btor2::serialize_to_str(&ctx, &sys))); + // insta::assert_snapshot!(skip_first_line(&btor2::serialize_to_str(&ctx, &sys))); +} + #[test] fn parse_quiz1() { let (ctx, sys) = btor2::parse_file("inputs/chiseltest/Quiz1.btor").unwrap();