Hi, On 2 March 2017 at 02:06, Chelsea Metcalf <[email protected]> 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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
