Skip to content

Commit

Permalink
fix fmt --check
Browse files Browse the repository at this point in the history
  • Loading branch information
TrevorHansen committed Dec 26, 2023
1 parent 40a7b9f commit 41ac7d9
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions src/extract/faster_ilp_cbc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1198,15 +1198,15 @@ fn ilp_dag_isnt_worse_than_other_extractors() {
let filp_extractor =
super::faster_ilp_cbc::FasterCbcExtractor.extract(&egraph, &egraph.root_eclasses);
check(&optimal_dag, &filp_extractor, &egraph);
let ggd_extractor = super::global_greedy_dag::GlobalGreedyDagExtractor
let ggd_extractor = super::global_greedy_dag::GlobalGreedyDagExtractor
.extract(&egraph, &egraph.root_eclasses);
check(&optimal_dag, &ggd_extractor, &egraph);
let gd_extractor =
super::greedy_dag::GreedyDagExtractor.extract(&egraph, &egraph.root_eclasses);
check(&optimal_dag, &gd_extractor, &egraph);

let filp_dag = filp_extractor.dag_cost(&egraph, &egraph.root_eclasses);

//filp & ilp both optimal, should be the same.
assert!((optimal_dag - filp_dag).abs() < 0.00001);
}
Expand Down
2 changes: 1 addition & 1 deletion src/extract/global_greedy_dag.rs
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
use std::iter;

use rpds:: HashTrieSet;
use rpds::HashTrieSet;

use super::*;

Expand Down

0 comments on commit 41ac7d9

Please sign in to comment.