ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
os Namespace Reference

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)

Function Documentation

◆ listdir()

list[str] os.listdir ( str path)

◆ makedirs()

None os.makedirs ( str path,
bool exist_ok = False )

◆ mkdir()

None os.mkdir ( str path)

◆ popen()

None os.popen ( str path)

◆ remove()

None os.remove ( str path)

◆ rmdir()

None os.rmdir ( str path)

◆ unlink()

None os.unlink ( str path)

◆ walk()

list[tuple[str, list[str], list[str]]] os.walk ( str top)