Function test_coverage_sanitize

src/execution/sanitize.rs:383–423

()

    #[test]
    fn test_coverage_sanitize() -> Result<()> {
        crate::config::Config::init_test("cJSON");
        let deopt = Deopt::new("cJSON".to_string())?;
        let executor = Executor::new(&deopt)?;

        // this should pass the sanitization.
        let cov_succ_program_path: std::path::PathBuf = [
            crate::Deopt::get_crate_dir()?,
            "testsuites",
            "sanitize",
            "cjson_cov_succ.cc",
        ]
        .iter()
        .collect();
        let work_path = deopt.get_work_seed_by_id(99999)?;
        std::fs::copy(cov_succ_program_path, &work_path)?;
        let has_err = executor.check_program_is_correct(&work_path)?;
        //println!("{has_err:#?}");
        assert!(has_err.is_none());

        // this should be sanitized by coverage.
        let cov_fail_program_path: std::path::PathBuf = [
            crate::Deopt::get_crate_dir()?,
            "testsuites",
            "sanitize",
            "cjson_cov_fail.cc",
        ]
        .iter()
        .collect();
        let work_path = deopt.get_work_seed_by_id(888888)?;
        std::fs::copy(cov_fail_program_path, &work_path)?;
        let has_err = executor.check_program_is_correct(&work_path)?;
        assert!(has_err.is_some());
        if let Some(err) = has_err {
            match err {
                ProgramError::Coverage(_) => return Ok(()),
                _ => panic!("Should not fail on other sanitization"),
            }
        }
        Ok(())
    }

    #[test]
    fn test_sanitization_for_a_program() -> Result<()> {