Function test_update_prompt_queue

src/deopt.rs:842–864

()

    #[test]
    fn test_update_prompt_queue() -> Result<()> {
        config::Config::init_test("cJSON");
        let mut deopt = Deopt::new("cJSON".to_string())?;

        // load the first seed.
        let seed_id_0 = 29;
        let seed_path_0 = deopt.get_succ_seed_path_by_id(seed_id_0)?;
        let mut seed_0 = Program::load_from_path(&seed_path_0)?;
        let coverage = deopt.get_seed_coverage(seed_id_0)?;
        let unique_branches = Observer::get_program_branches(&coverage, &deopt);
        let mut quality = seed_0.get_quality().clone();
        quality.set_unique_branches(unique_branches);
        seed_0.set_quality(quality);

        deopt.save_program(&seed_0)?;
        deopt.seed_queue.push_back(seed_0);

        // load the second seed
        let seed_id_1 = 55;
        let coverage = deopt.get_seed_coverage(seed_id_1)?;
        deopt.update_seed_unique_branches(&coverage);
        Ok(())
    }
}