|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | CalledProcessError |
| class | CompletedProcess |
Functions | |
| CompletedProcess | run (Any args, Any stdout=None, Any stderr=None, bool capture_output=False, bool text=False, bool check=False, bool shell=False, Any timeout=None, Any cwd=None) |
Variables | |
| int | PIPE = -1 |
| int | STDOUT = -2 |
| int | DEVNULL = -3 |
| CompletedProcess subprocess.run | ( | Any | args, |
| Any | stdout = None, | ||
| Any | stderr = None, | ||
| bool | capture_output = False, | ||
| bool | text = False, | ||
| bool | check = False, | ||
| bool | shell = False, | ||
| Any | timeout = None, | ||
| Any | cwd = None ) |
| int subprocess.DEVNULL = -3 |
| int subprocess.PIPE = -1 |
| int subprocess.STDOUT = -2 |