|
cprover
|
#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>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) |
| int run | ( | const std::string & | what, |
| const std::vector< std::string > & | argv, | ||
| const std::string & | std_input, | ||
| const std::string & | std_output | ||
| ) |
Definition at line 45 of file run.cpp.
References remove_signal_catcher(), and widen().
Referenced by as_modet::as_hybrid_binary(), gcc_modet::gcc_hybrid_binary(), gcc_modet::preprocess(), as_modet::run_as(), gcc_modet::run_gcc(), and run_shell().