Support filename rewrite in backends
authorBen Widawsky <ben@bwidawsk.net>
Mon, 17 Jun 2019 21:45:48 +0000 (14:45 -0700)
committerBen Widawsky <ben@bwidawsk.net>
Tue, 18 Jun 2019 21:39:52 +0000 (14:39 -0700)
commit4a18e19fb86f5729ca764d5b0ee338f558f90a43
tree9424a7ed212ae7d1f63497ec7662ec4b426c609b
parent468c41d997477aa6c67a8b97bc4d9dcff185b815
Support filename rewrite in backends

Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
backends/aiger/aiger.cc
backends/ilang/ilang_backend.cc
backends/json/json.cc
backends/protobuf/protobuf.cc