---
source: tests/btor2_test.rs
expression: "skip_first_line(&btor2::serialize_to_str(&ctx, &sys))"
---