|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Namespaces | |
| namespace | path |
Functions | |
| bool | path.exists (str path) |
| str | path.basename (str path) |
| str | path.join (str a, str b) |
| bool | path.islink (str path) |
| str | path.realpath (str path) |
| str | path.relpath (str path, str start=".") |
| str | path.commonpath (list[str] paths) |