cprover
run.cpp File Reference
#include "run.h"
#include <cassert>
#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/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)
 
int run (const std::string &what, const std::vector< std::string > &argv, const std::string &std_input, const std::string &std_output)
 

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 
)

◆ run_shell()

int run_shell ( const std::string &  command)

Definition at line 36 of file run.cpp.

References run().