Issue 190#233

Merged

o-smirnov merged 2 commits intomasterfrom issue-190

Feb 18, 2024

Commits on Feb 14, 2024

fixes #190 . fixes #171 . Adds backend.verbose option, and pretty-printing to log of various settings
o-smirnov
committed
don't need the extra {}-substitution, since Step already does it
o-smirnov
committed