Commit 82b970ac authored by Ranadeep Biswas's avatar Ranadeep Biswas
Browse files

ignore empty transactions

parent f0adfe21
......@@ -266,13 +266,17 @@ impl Verifier {
}
}
}
transaction_infos.insert((i_node + 1, i_transaction), (read_info, write_info));
if !read_info.is_empty() || !write_info.is_empty() {
transaction_infos.insert((i_node + 1, i_transaction), (read_info, write_info));
}
}
}
assert!(transaction_infos
.insert((0, 0), (Default::default(), root_write_info))
.is_none());
if !root_write_info.is_empty() {
assert!(transaction_infos
.insert((0, 0), (Default::default(), root_write_info))
.is_none());
}
if self.use_sat {
info!(self.log, "using SAT");
......
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