Merge remote-tracking branch 'upstream/master' into refactor_min_cut

qryxip · qryxip · commit 29db5aeb44bc · 2020-10-09T20:43:12.000+09:00
diff --git a/src/twosat.rs b/src/twosat.rs
@@ -75,7 +75,7 @@ mod tests {
         }
 
         //Check the min distance between flags
-        res.sort();
+        res.sort_unstable();
         let mut min_distance = i32::max_value();
         for i in 1..res.len() {
             min_distance = std::cmp::min(min_distance, res[i] - res[i - 1]);

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,7 @@ mod tests {`
`75`	`75`	`}`
`76`	`76`
`77`	`77`	`//Check the min distance between flags`
`78`		`- res.sort();`
	`78`	`+ res.sort_unstable();`
`79`	`79`	`let mut min_distance = i32::max_value();`
`80`	`80`	`for i in 1..res.len() {`
`81`	`81`	`min_distance = std::cmp::min(min_distance, res[i] - res[i - 1]);`