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

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)

Function Documentation

◆ basename()

str path.basename ( str path)

◆ commonpath()

str path.commonpath ( list[str] paths)

◆ exists()

bool path.exists ( str path)

◆ islink()

bool path.islink ( str path)

◆ join()

str path.join ( str a,
str b )

◆ realpath()

str path.realpath ( str path)

◆ relpath()

str path.relpath ( str path,
str start = "." )