|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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 | |