diff options
author | Treehugger Robot <treehugger-gerrit@google.com> | 2020-04-10 23:55:48 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-04-10 23:55:48 +0000 |
commit | a27d5f2bdaf690c6ec0f919aeb57680ef7ea011f (patch) | |
tree | b5381fda0b53dd45d295a0fd52d4f7cda1b0e180 /src/sat.h | |
parent | d621bdcd9a15346a0c9a7234deebb82972925792 (diff) | |
parent | 840a6705113a20b716ac67690bd8a7c91badb294 (diff) | |
download | stressapptest-a27d5f2bdaf690c6ec0f919aeb57680ef7ea011f.tar.gz |
Merge "Upgrade to stressapptest v1.0.9."
Diffstat (limited to 'src/sat.h')
-rw-r--r-- | src/sat.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -174,7 +174,7 @@ class Sat { bool crazy_error_injection_; // Simulate lots of errors. uint64 max_errorcount_; // Number of errors before forced exit. int run_on_anything_; // Ignore unknown machine ereor. - int use_logfile_; // Log to a file. + bool use_logfile_; // Log to a file. char logfilename_[255]; // Name of file to log to. int logfile_; // File handle to log to. bool log_timestamps_; // Whether to add timestamps to log lines. |