Use .format() instead of %
authorN. Engelhardt <nak@symbioticeda.com>
Mon, 23 Mar 2020 17:09:27 +0000 (18:09 +0100)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 25 Mar 2020 12:09:37 +0000 (13:09 +0100)
commit30d7c32ec60532d06f332cc9b8e1d78c3090f6aa
tree535218409b9b012b30445fb5053762ed0cc5b5d6
parent0a7013017f9d583ef6cc8d10712f4bf11cf6e024
Use .format() instead of %

Signed-off-by: N. Engelhardt <nak@symbioticeda.com>
sbysrc/sby.py
sbysrc/sby_core.py
sbysrc/sby_engine_abc.py
sbysrc/sby_engine_aiger.py
sbysrc/sby_engine_btor.py
sbysrc/sby_engine_smtbmc.py
sbysrc/sby_mode_bmc.py
sbysrc/sby_mode_cover.py
sbysrc/sby_mode_live.py
sbysrc/sby_mode_prove.py