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

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

Function Documentation

◆ run()

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 )

Variable Documentation

◆ DEVNULL

int subprocess.DEVNULL = -3

◆ PIPE

int subprocess.PIPE = -1

◆ STDOUT

int subprocess.STDOUT = -2