(&mut self, program_path: &Path)
| 55 | } |
| 56 | |
| 57 | pub fn add_program_to_adg(&mut self, program_path: &Path) -> Result<()> { |
| 58 | let ast = crate::execution::Executor::extract_ast(program_path, vec![], &self.deopt)?; |
| 59 | let cfg = CFGBuilder::build_cfg(ast)?; |
| 60 | let adg = std::mem::take(&mut self.adg); |
| 61 | //self.save_program_adg(&adg, program_path)?; |
| 62 | self.adg = adg.coalesce_from(cfg)?; |
| 63 | Ok(()) |
| 64 | } |
| 65 | |
| 66 | pub fn save_program_adg(&self, adg: &ADG, program_path: &Path) -> Result<()> { |
| 67 | let mut adg_path = PathBuf::from(&self.deopt.get_library_adg_dir()?); |
no test coverage detected