ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
os.py File Reference
Namespaces
namespace
os
Functions
None
os.popen
(str
path
)
list[str]
os.listdir
(str
path
)
None
os.makedirs
(str
path
,
bool
exist_ok=False)
None
os.remove
(str
path
)
None
os.unlink
(str
path
)
None
os.mkdir
(str
path
)
None
os.rmdir
(str
path
)
list[tuple[str, list[str], list[str]]]
os.walk
(str top)
src
python-frontend
models
os.py
Generated by
1.15.0