scbmc SCBMC: Smart Contract Bounded Model Checker usage: scbmc.py [-h] [--config config] [--ast ast] [--solver solver] [--unwind unwind] file [file ...]