Turn .format() strings into f-strings
authorpiegames <git@piegames.de>
Thu, 24 Jun 2021 22:02:22 +0000 (00:02 +0200)
committerpiegames <git@piegames.de>
Sat, 26 Jun 2021 17:46:30 +0000 (19:46 +0200)
commit2d7d48885b61d32d3a7700dbe4a6876db1c88d4a
tree9d8231701724f4bce968ad4e5a1727c6a11c0598
parent1f6700f21d012d7b5bffd6eafe43969bc21ce4fc
Turn .format() strings into f-strings
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