ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
transform.py File Reference

Namespaces

namespace  transform

Variables

 transform.parser = argparse.ArgumentParser()
 transform.help
 transform.default
 transform.type
 transform.args = parser.parse_args()
 transform.p = args.path
list transform.files = [f for f in os.listdir(p) if os.path.isfile(os.path.join(p, f))]
 transform.name
 transform.ext
 transform.name_ = name.replace('-', '_')
 transform.end