ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
subprocess.CompletedProcess Class Reference

Public Member Functions

None __init__ (self, Any args, int returncode, Optional[str] stdout=None, Optional[str] stderr=None)
None check_returncode (self)

Public Attributes

Any args = args
int returncode = returncode
Optional[str] stdout = stdout
Optional[str] stderr = stderr

Constructor & Destructor Documentation

◆ __init__()

None subprocess.CompletedProcess.__init__ ( self,
Any args,
int returncode,
Optional[str] stdout = None,
Optional[str] stderr = None )

Member Function Documentation

◆ check_returncode()

None subprocess.CompletedProcess.check_returncode ( self)

Member Data Documentation

◆ args

subprocess.CompletedProcess.args = args

◆ returncode

subprocess.CompletedProcess.returncode = returncode

◆ stderr

subprocess.CompletedProcess.stderr = stderr

◆ stdout

subprocess.CompletedProcess.stdout = stdout

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