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

Variables

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

Variable Documentation

◆ args

transform.args = parser.parse_args()

◆ default

transform.default

◆ end

transform.end

◆ ext

transform.ext

◆ files

list transform.files = [f for f in os.listdir(p) if os.path.isfile(os.path.join(p, f))]

◆ help

transform.help

◆ name

transform.name

◆ name_

transform.name_ = name.replace('-', '_')

◆ p

transform.p = args.path

◆ parser

transform.parser = argparse.ArgumentParser()

◆ type

transform.type