Commit e27f8db0 authored by Bharat Garhewal's avatar Bharat Garhewal
Browse files

Remove checking of consistency redundantly

parent 6d8bbf59
Pipeline #60272 passed with stages
in 6 minutes and 33 seconds
......@@ -260,11 +260,13 @@ where
return Some((prefix.to_vec(), tree_prefix_out));
}
let ts = self.obs_tree.get_succ(State::new(0), prefix).expect("Safe");
assert!(ads.next_input(None).is_ok());
let ads_res = self.answer_ads_from_tree(ads, ts);
match ads_res {
Ok((ads_inputs, ads_outputs)) => {
println!("Tree had a reply, duplicate query!");
assert!(self.check_consistency(fsm).is_none());
// assert!(self.check_consistency(fsm).is_none());
// println!("ADS: {:#?}", ads);
let mut input_seq = Vec::from(prefix);
input_seq.extend(ads_inputs.iter());
let mut output_seq = tree_prefix_out;
......@@ -308,14 +310,14 @@ where
}
Err(ads_err) => match ads_err {
AdsStatus::Done => {
if !ads
.tree
.ref_at(ads.curr_idx)
.initial
.contains(&hyp_prefix_state)
{
panic!("Probably not the state we wanted!");
}
// if !ads
// .tree
// .ref_at(ads.curr_idx)
// .initial
// .contains(&hyp_prefix_state)
// {
// panic!("Probably not the state we wanted!");
// }
self.add_observation(&inputs_sent, &outputs_received);
return None;
}
......
Supports Markdown
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