diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-04 16:32:47 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-04 16:32:47 +0200 |
| commit | 372d672c2a73314aa4a796357ae09f1570527500 (patch) | |
| tree | d02ed576f0de24840fad567dbdac5baa1ec10c70 /backends/smt2 | |
| parent | 19a3b3732cc0ab25858b99ce29a172abcfe1fd43 (diff) | |
| download | yosys-372d672c2a73314aa4a796357ae09f1570527500.tar.gz yosys-372d672c2a73314aa4a796357ae09f1570527500.tar.bz2 yosys-372d672c2a73314aa4a796357ae09f1570527500.zip | |
Minor bugfix in write_smt2
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smt2.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc index b881f0154..7c0ecf3b1 100644 --- a/backends/smt2/smt2.cc +++ b/backends/smt2/smt2.cc @@ -752,7 +752,7 @@ struct Smt2Worker string assert_expr = assert_list.empty() ? "true" : "(and"; if (!assert_list.empty()) { if (GetSize(assert_list) == 1) { - assert_expr = assert_list.front(); + assert_expr = "\n " + assert_list.front() + "\n"; } else { for (auto &str : assert_list) assert_expr += stringf("\n %s", str.c_str()); @@ -765,7 +765,7 @@ struct Smt2Worker string assume_expr = assume_list.empty() ? "true" : "(and"; if (!assume_list.empty()) { if (GetSize(assume_list) == 1) { - assume_expr = assume_list.front(); + assume_expr = "\n " + assume_list.front() + "\n"; } else { for (auto &str : assume_list) assume_expr += stringf("\n %s", str.c_str()); @@ -778,7 +778,7 @@ struct Smt2Worker string init_expr = init_list.empty() ? "true" : "(and"; if (!init_list.empty()) { if (GetSize(init_list) == 1) { - init_expr = init_list.front(); + init_expr = "\n " + init_list.front() + "\n"; } else { for (auto &str : init_list) init_expr += stringf("\n %s", str.c_str()); |