From ea900db3378eee5865e155e98a8f4f7f607fb603 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 10 Feb 2016 11:35:15 +0000 Subject: [PATCH] Explicitly state what the units of the timeout parameter for the "smt" module are. --- src/smt/params/smt_params_helper.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/params/smt_params_helper.pyg b/src/smt/params/smt_params_helper.pyg index 56d393d41..c1cdd1dfa 100644 --- a/src/smt/params/smt_params_helper.pyg +++ b/src/smt/params/smt_params_helper.pyg @@ -15,7 +15,7 @@ def_module_params(module_name='smt', ('delay_units_threshold', UINT, 32, 'maximum number of learned unit clauses before restarting, ingored if delay_units is false'), ('pull_nested_quantifiers', BOOL, False, 'pull nested quantifiers'), ('refine_inj_axioms', BOOL, True, 'refine injectivity axioms'), - ('timeout', UINT, 0, 'timeout (0 means no timeout)'), + ('timeout', UINT, 0, 'timeout (in milliseconds) (0 means no timeout)'), ('rlimit', UINT, 0, 'resource limit (0 means no limit)'), ('max_conflicts', UINT, UINT_MAX, 'maximum number of conflicts before giving up.'), ('mbqi', BOOL, True, 'model based quantifier instantiation (MBQI)'),