cprover
run.cpp File Reference
#include "run.h"
#include <cstring>
#include <unistd.h>
#include <cerrno>
#include <cstdio>
#include <cstdlib>
#include <sys/wait.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <signal.h>
#include <util/invariant.h>
#include <util/unicode.h>
#include <util/signal_catcher.h>
Include dependency graph for run.cpp:

Go to the source code of this file.

Functions

int run_shell (const std::string &command)
 
static int stdio_redirection (int fd, const std::string &file)
 open given file to replace either stdin, stderr, stdout More...
 
int run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, const std::string &std_output, const std::string &std_error)
 

Function Documentation

◆ run()

int run ( const std::string &  what,
const std::vector< std::string > &  argv,
const std::string &  std_input,
const std::string &  std_output,
const std::string &  std_error 
)

◆ run_shell()

int run_shell ( const std::string &  command)

Definition at line 35 of file run.cpp.

References run().

◆ stdio_redirection()

static int stdio_redirection ( int  fd,
const std::string &  file 
)
static

open given file to replace either stdin, stderr, stdout

Definition at line 46 of file run.cpp.

Referenced by run().