smt-scope 0.1.7

A library for parsing and analysing SMT traces.
Documentation 
1
2
3
4
5
6
7

mod common;

#[test]
fn parse_smt_problems() {
    std::env::set_var("SCOPE_MEM_DBG", "true");
    common::parse_logs_in("../test-smtlib", false, true, 15).expect("failed for n logs")
}