Commit e3bdd5ad authored by Ranadeep Biswas's avatar Ranadeep Biswas
Browse files

more linting

parent de7b363b
......@@ -114,7 +114,8 @@ impl AtomicHistoryPO {
for (t2, _) in wr_x.adj_map.iter() {
if t1 != t2 {
for t3 in t3s.iter() {
if t3 != t2 && (self.vis.has_edge(t3, t2) || self.vis.has_edge(t1, t2)) {
if t3 != t2 && (self.vis.has_edge(t3, t2) || self.vis.has_edge(t1, t2))
{
rw_x.add_edge(*t3, *t2);
}
}
......
......@@ -578,7 +578,7 @@ impl Verifier {
now = std::time::Instant::now();
if ser_hist.get_linearization().is_some() {
println!("dbcop main algorithm took {}secs", now.elapsed().as_secs());
// println!("dbcop main algorithm took {}secs", now.elapsed().as_secs());
None
} else {
Some(self.consistency_model)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment