Hi All,
Can anyone please explain me the meaning of following description of the
getValue method described in Solver.cpp:
///getValue - Compute one possible value for the given expression.
///
/// \param [out] result - On success, a value for the expression in some
/// satisfying assignment.
///
/// \return True on success.
bool getValue(const Query&, ref<ConstantExpr> &result);
--
Thanks and Regards,
Sumit
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
