|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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 | |
| transform.args = parser.parse_args() |
| transform.default |
| transform.end |
| transform.ext |
| list transform.files = [f for f in os.listdir(p) if os.path.isfile(os.path.join(p, f))] |
| transform.help |
| transform.name |
| transform.name_ = name.replace('-', '_') |
| transform.p = args.path |
| transform.parser = argparse.ArgumentParser() |
| transform.type |