|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Functions | |
| None | popen (str path) |
| list[str] | listdir (str path) |
| None | makedirs (str path, bool exist_ok=False) |
| None | remove (str path) |
| None | unlink (str path) |
| None | mkdir (str path) |
| None | rmdir (str path) |
| list[tuple[str, list[str], list[str]]] | walk (str top) |
| list[str] os.listdir | ( | str | path | ) |
| None os.makedirs | ( | str | path, |
| bool | exist_ok = False ) |
| None os.mkdir | ( | str | path | ) |
| None os.popen | ( | str | path | ) |
| None os.remove | ( | str | path | ) |
| None os.rmdir | ( | str | path | ) |
| None os.unlink | ( | str | path | ) |
| list[tuple[str, list[str], list[str]]] os.walk | ( | str | top | ) |