Searched refs:setUnsignedParam (Results 1 – 4 of 4) sorted by relevance
56 RefutationSolver->setUnsignedParam("rlimit", in finalizeVisitor()59 RefutationSolver->setUnsignedParam("timeout", in finalizeVisitor()
453 virtual void setUnsignedParam(StringRef Key, unsigned Value) = 0;
39 Solver->setUnsignedParam("timeout", 15000 /*milliseconds*/); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
913 void setUnsignedParam(StringRef Key, unsigned Value) override { in setUnsignedParam() function in __anona2cc94240111::Z3Solver