RsBundle  Check-in [ff47afc279]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Use digit separators in long integer literals
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: ff47afc2797745d15410bc70045151d2dc1c7584
User & Date: fifr 2017-11-02 08:42:20.165
Context
2017-11-18
21:42
Use `failure` for error handling. check-in: df7544e94f user: fifr tags: trunk, v0.4.0
2017-11-02
08:42
Use digit separators in long integer literals check-in: ff47afc279 user: fifr tags: trunk
2017-11-01
16:10
Add some missing type annotation when calling `sum` check-in: 02dee82532 user: fifr tags: trunk
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/solver.rs.
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
        self.start_time = Instant::now();

        Ok(())
    }

    /// Solve the problem.
    pub fn solve(&mut self) -> Result<()> {
        const LIMIT: usize = 10000;

        if self.solve_iter(LIMIT)? {
            Ok(())
        } else {
            Err(Error::IterationLimit(LIMIT))
        }
    }







|







562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
        self.start_time = Instant::now();

        Ok(())
    }

    /// Solve the problem.
    pub fn solve(&mut self) -> Result<()> {
        const LIMIT: usize = 10_000;

        if self.solve_iter(LIMIT)? {
            Ok(())
        } else {
            Err(Error::IterationLimit(LIMIT))
        }
    }
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
                  "_endit"
              } else {
                  "endit "
              },
              time.as_secs() / 3600,
              (time.as_secs() / 60) % 60,
              time.as_secs() % 60,
              time.subsec_nanos() / 10000000,
              self.cnt_descent,
              self.cnt_descent + self.cnt_null,
              self.master.cnt_updates(),
              if step == Step::Descent { "*" } else { " " },
              self.master.weight(),
              self.expected_progress,
              self.nxt_mod,







|







716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
                  "_endit"
              } else {
                  "endit "
              },
              time.as_secs() / 3600,
              (time.as_secs() / 60) % 60,
              time.as_secs() % 60,
              time.subsec_nanos() / 10_000_000,
              self.cnt_descent,
              self.cnt_descent + self.cnt_null,
              self.master.cnt_updates(),
              if step == Step::Descent { "*" } else { " " },
              self.master.weight(),
              self.expected_progress,
              self.nxt_mod,