ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
subprocess.CalledProcessError Class Reference
Inheritance diagram for subprocess.CalledProcessError:
[legend]

Public Member Functions

None __init__ (self, int returncode, Any cmd, Optional[str] output=None, Optional[str] stderr=None)

Public Attributes

int returncode = returncode
Any cmd = cmd
Optional[str] output = output
Optional[str] stdout = output
Optional[str] stderr = stderr

Constructor & Destructor Documentation

◆ __init__()

None subprocess.CalledProcessError.__init__ ( self,
int returncode,
Any cmd,
Optional[str] output = None,
Optional[str] stderr = None )

Member Data Documentation

◆ cmd

Any subprocess.CalledProcessError.cmd = cmd

◆ output

Optional[str] subprocess.CalledProcessError.output = output

◆ returncode

int subprocess.CalledProcessError.returncode = returncode

◆ stderr

Optional[str] subprocess.CalledProcessError.stderr = stderr

◆ stdout

Optional[str] subprocess.CalledProcessError.stdout = output

The documentation for this class was generated from the following file: