[Pspp-cvs] pspp/src/libpspp model-checker.c [simpler-proc]

[Ben Pfaff]

CVSROOT:        /cvsroot/pspp
Module name:    pspp
Branch:         simpler-proc
Changes by:     Ben Pfaff <blp> 07/04/14 23:03:44

Modified files:
        src/libpspp    : model-checker.c 

Log message:
        Fix a couple of bugs.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/pspp/src/libpspp/model-checker.c?cvsroot=pspp&only_with_tag=simpler-proc&r1=1.1.2.1&r2=1.1.2.2

Patches:
Index: model-checker.c
===================================================================
RCS file: /cvsroot/pspp/pspp/src/libpspp/Attic/model-checker.c,v
retrieving revision 1.1.2.1
retrieving revision 1.1.2.2
diff -u -b -r1.1.2.1 -r1.1.2.2
--- model-checker.c     14 Apr 2007 05:04:23 -0000      1.1.2.1
+++ model-checker.c     14 Apr 2007 23:03:44 -0000      1.1.2.2
@@ -841,10 +841,11 @@
   mc->options = options != NULL ? options : mc_options_create ();
   check_options (mc->options);
 
-  if (mc->options->time_limit > 0.0 && mc->options->progress_usec == 0) 
+  if (mc->options->progress_usec == 0) 
     {
-      mc->options->progress_usec = 250000;
       mc->options->progress_func = null_progress;
+      if (mc->options->time_limit > 0.0) 
+        mc->options->progress_usec = 250000;
     }
 
   mc->results = mc_results_create ();
@@ -945,7 +946,8 @@
     {
       if (deque_is_empty (&mc.state_deque)) 
         {
-          printf ("No state found after %zu elements in path (out of %zu)\n",
+          fprintf (options->output_file,
+                   "No state found after %zu elements in path (out of %zu)\n",
                   i, path_len);
           break;
         }