mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
fix parameter processing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f28b158d57
commit
18b66a4bd7
|
@ -104,7 +104,7 @@ static unsigned parse_opt(std::istream& in, opt_format f) {
|
|||
}
|
||||
try {
|
||||
cancel_eh<reslimit> eh(m.limit());
|
||||
unsigned timeout = std::stoi(gparams::get_value("timeout"));
|
||||
unsigned timeout = std::stoul(gparams::get_value("timeout"));
|
||||
unsigned rlimit = std::stoi(gparams::get_value("rlimit"));
|
||||
scoped_timer timer(timeout, &eh);
|
||||
scoped_rlimit _rlimit(m.limit(), rlimit);
|
||||
|
|
Loading…
Reference in a new issue