Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::get_id...
authorClifford Wolf <clifford@clifford.at>
Wed, 6 Feb 2019 15:35:59 +0000 (16:35 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 6 Feb 2019 15:35:59 +0000 (16:35 +0100)
commite112d2fbf5a31f00ef19e6d05f28fecc1e9c56b9
treec5146a20e59acc342dfe414e1b35fdfe419b9e81
parent266511b29eb66486bd17210eb28454a2efee218a
Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::get_id() behavior)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/smt2/smtio.py