Function test_transform_with_constraint

src/program/transform.rs:1661–1685

()

    #[test]
    fn test_transform_with_constraint() -> Result<()> {
        crate::config::Config::init_test("zlib");
        let deopt = Deopt::new("zlib".to_string())?;
        let test_file: PathBuf = [
            Deopt::get_crate_dir()?,
            "testsuites".into(),
            "new_test.cc".into(),
        ]
        .iter()
        .collect();

        let constraints = crate::program::infer::load_constraints(&deopt)?;
        let corpora: PathBuf = [
            deopt.get_library_shared_corpus_dir()?,
            "vp80-00-comprehensive-014.ivf".into(),
        ]
        .iter()
        .collect();
        let mut transformer = Transformer::new_check(&test_file, &deopt)?;
        let changable_args = transformer.transform_with_execution_check(&constraints, &corpora)?;
        let mut transformer = Transformer::new(&test_file, &deopt)?;
        transformer.transform_to_fuzzer(&constraints, changable_args)?;

        Ok(())
    }
}