cprover
run.h File Reference
#include <string>
#include <vector>
Include dependency graph for run.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

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="")
 
int run_shell (const std::string &command)
 

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().