|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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 |
| None subprocess.CalledProcessError.__init__ | ( | self, | |
| int | returncode, | ||
| Any | cmd, | ||
| Optional[str] | output = None, | ||
| Optional[str] | stderr = None ) |
| Any subprocess.CalledProcessError.cmd = cmd |
| Optional[str] subprocess.CalledProcessError.output = output |
| int subprocess.CalledProcessError.returncode = returncode |
| Optional[str] subprocess.CalledProcessError.stderr = stderr |