C++ (Cpp) megabytes_to_bytes Examples

Example #1

File: bit_blaster_rewriter.cpp Project: greatmazinger/z3

 void updt_params(params_ref const & p) {
     m_max_memory     = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX));
     m_max_steps      = p.get_uint("max_steps", UINT_MAX);
     m_blast_add      = p.get_bool("blast_add", true);
     m_blast_mul      = p.get_bool("blast_mul", true);
     m_blast_full     = p.get_bool("blast_full", false);
     m_blast_quant    = p.get_bool("blast_quant", false);
     m_blaster.set_max_memory(m_max_memory);
 }

Example #2

File: elim_term_ite_strategy.cpp Project: sukwon0709/byterun

 void updt_params(params_ref const & p) {
     m_max_memory     = megabytes_to_bytes(p.get_uint(":max-memory", UINT_MAX));
     m_produce_models = p.get_bool(":produce-models", false);
 }

Example #3

File: aig_tactic.cpp Project: AleksandarZeljic/z3

 virtual void updt_params(params_ref const & p) {
     m_max_memory        = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX));
     m_aig_gate_encoding = p.get_bool("aig_default_gate_encoding", true);
     m_aig_per_assertion = p.get_bool("aig_per_assertion", true); 
 }

Example #4

File: fpa2bv_rewriter.cpp Project: martin-neuhaeusser/z3

void fpa2bv_rewriter_cfg::updt_params(params_ref const & p) {
    m_max_memory        = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX));
    m_max_steps         = p.get_uint("max_steps", UINT_MAX);
    updt_local_params(p);
}