diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-12-18 20:02:39 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-12-18 20:02:39 +0100 |
| commit | 23bb77867f56e966195d99d1d89b45d510d0b92d (patch) | |
| tree | 1ad0e21e2c941213358f91d3b38218bcd28c5764 /backends/btor | |
| parent | 2d73e1b60a43f2a621b387768134b83054f59e89 (diff) | |
| download | yosys-23bb77867f56e966195d99d1d89b45d510d0b92d.tar.gz yosys-23bb77867f56e966195d99d1d89b45d510d0b92d.tar.bz2 yosys-23bb77867f56e966195d99d1d89b45d510d0b92d.zip | |
Minor style fixes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/btor.cc | 2 | ||||
| -rw-r--r--[-rwxr-xr-x] | backends/btor/test_cells.sh | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index d3fb9b858..53359bd7b 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -134,7 +134,7 @@ struct BtorWorker btorf_push(log_id(cell)); if (cell->type.in("$add", "$sub", "$mul", "$and", "$or", "$xor", "$xnor", "$shl", "$sshl", "$shr", "$sshr", "$shift", "$shiftx", - "$concat", "$_AND_", "$_NAND_", "$_OR_", "$_NOR_", "$_XOR_", "$_XNOR_")) + "$concat", "$_AND_", "$_NAND_", "$_OR_", "$_NOR_", "$_XOR_", "$_XNOR_")) { string btor_op; if (cell->type == "$add") btor_op = "add"; diff --git a/backends/btor/test_cells.sh b/backends/btor/test_cells.sh index e0f1a0514..e0f1a0514 100755..100644 --- a/backends/btor/test_cells.sh +++ b/backends/btor/test_cells.sh |