Function uvls::smt::smt_lib::uvl2smt_constraints

source · 
pub fn uvl2smt_constraints(module: &Module) -> SMTModule
Expand description

create an SMTModule, but the asserts are only constraints