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