From: ymjmsghs1 <ymjmsghs1@naver.com>
Date: Fri, 15 Dec 2017 06:38:41 +0000 (+0900)
Subject: Change integer 'use_logfile_' to boolean
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=041ac51f5816dfdd813352db984591664afebb9a;p=stressapptest

Change integer 'use_logfile_' to boolean

Signed-off-by: ymjmsghs1 <ymjmsghs1@naver.com>
---

diff --git a/src/sat.cc b/src/sat.cc
index 7b72ec2..0528bf2 100644
--- a/src/sat.cc
+++ b/src/sat.cc
@@ -680,7 +680,7 @@ Sat::Sat() {
   strict_ = 1;
   warm_ = 0;
   run_on_anything_ = 0;
-  use_logfile_ = 0;
+  use_logfile_ = false;
   logfile_ = 0;
   log_timestamps_ = true;
   // Detect 32/64 bit binary.
@@ -1015,7 +1015,7 @@ bool Sat::ParseArgs(int argc, char **argv) {
 
   // Set logfile flag.
   if (strcmp(logfilename_, ""))
-    use_logfile_ = 1;
+    use_logfile_ = true;
   // Checks valid page length.
   if (page_length_ &&
       !(page_length_ & (page_length_ - 1)) &&
diff --git a/src/sat.h b/src/sat.h
index 5cc3bec..33824b4 100644
--- a/src/sat.h
+++ b/src/sat.h
@@ -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.