christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

generic-tracing: add configuration dependencies

Browse Source 
Added hint: Use /dev/null if no state is required

Change-Id: I76a935f88e6a7a8f707970797d508dad3a961ab5
This commit is contained in:
Christoph Borchert
2014-03-03 15:45:27 +01:00
parent f775c92d72
commit b7ff284d54
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/experiments/generic-tracing/experiment.cc
View File

@ -20,6 +20,11 @@
using namespace std; using namespace std;
using namespace fail; using namespace fail;
// Check if configuration dependencies are satisfied:
#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_SAVE)
#error This experiment needs: breakpoints, and save. Enable these in the configuration.
#endif
void GenericTracing::parseOptions() { void GenericTracing::parseOptions() {
CommandLine &cmd = CommandLine::Inst(); CommandLine &cmd = CommandLine::Inst();
cmd.addOption("", "", Arg::None, "USAGE: fail-client -Wf,[option] -Wf,[option] ... <BochsOptions...>\n\n"); cmd.addOption("", "", Arg::None, "USAGE: fail-client -Wf,[option] -Wf,[option] ... <BochsOptions...>\n\n");
@ -36,7 +41,8 @@ void GenericTracing::parseOptions() {
"-S,--save-symbol \tELF symbol to save the state of the machine " "-S,--save-symbol \tELF symbol to save the state of the machine "
"(exists for backward compatibility, must be identical to --start-symbol if used)\n"); "(exists for backward compatibility, must be identical to --start-symbol if used)\n");
CommandLine::option_handle STATE_FILE = cmd.addOption("f", "state-file", Arg::Required, CommandLine::option_handle STATE_FILE = cmd.addOption("f", "state-file", Arg::Required,
"-f,--state-file \tFile/dir to save the state to (default: state)"); "-f,--state-file \tFile/dir to save the state to (default: state). "
"Use /dev/null if no state is required");
CommandLine::option_handle TRACE_FILE = cmd.addOption("t", "trace-file", Arg::Required, CommandLine::option_handle TRACE_FILE = cmd.addOption("t", "trace-file", Arg::Required,
"-t,--trace-file \tFile to save the execution trace to (default: trace.pb)\n"); "-t,--trace-file \tFile to save the execution trace to (default: trace.pb)\n");