mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
better error description for configuring restart
This commit is contained in:
parent
cbc5b1f4f6
commit
10fb71cf93
|
@ -46,7 +46,7 @@ namespace sat {
|
|||
else if (s == symbol("static"))
|
||||
m_restart = RS_STATIC;
|
||||
else
|
||||
throw sat_param_exception("invalid restart strategy");
|
||||
throw sat_param_exception("invalid restart strategy. Use ema (default), luby, geometric, static");
|
||||
|
||||
m_fast_glue_avg = p.restart_emafastglue();
|
||||
m_slow_glue_avg = p.restart_emaslowglue();
|
||||
|
|
Loading…
Reference in a new issue