Function test_static_infer

src/program/infer/static_infer.rs:772–786

()

#[test]
fn test_static_infer() -> Result<()> {
    crate::config::Config::init_test("c-ares");
    let deopt = Deopt::new("c-ares".to_string())?;
    let mut constraints = APIConstraints::new();

    let programs = crate::deopt::utils::read_sort_dir(&deopt.get_library_succ_seed_dir()?)?;

    for program in programs {
        println!("program: {program:?}");
        infer_constraints(&program, &deopt, &mut constraints)?;
    }
    let refined = refine_constraints(constraints);
    println!("{refined:#?}");
    Ok(())
}