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

◆ run_shell()

int run_shell ( const std::string &  command)

Definition at line 36 of file run.cpp.

References run().