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