[klee-dev] Adding initial state as a constraint

Dan Liew dan at su-root.co.uk
Thu Mar 2 11:40:04 GMT 2017


Hi,

On 2 March 2017 at 02:06, Chelsea Metcalf <metcalf.chelsea at gmail.com> wrote:
>
> Hi,
>
> I am trying to add the initial state as a constraint, but it is not taking effect.

The above does not make sense to me. Please clarify your question.
Perhaps with a code example to illustrate what you are trying to do.



More information about the klee-dev mailing list