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

cargo fmt

parent abca0016
......@@ -426,10 +426,8 @@ impl Verifier {
!causal_hist.vis.has_cycle()
}
Consistency::SnapshotIsolation => {
let mut si_hist = SnapshotIsolationHistory::new(
transaction_infos.clone(),
self.log.clone(),
);
let mut si_hist =
SnapshotIsolationHistory::new(transaction_infos.clone(), self.log.clone());
let wr = si_hist.history.get_wr();
si_hist.history.vis_includes(&wr);
......@@ -447,10 +445,8 @@ impl Verifier {
}
}
Consistency::Serializable => {
let mut ser_hist = SerializableHistory::new(
transaction_infos.clone(),
self.log.clone(),
);
let mut ser_hist =
SerializableHistory::new(transaction_infos.clone(), self.log.clone());
let wr = ser_hist.history.get_wr();
ser_hist.history.vis_includes(&wr);
......
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