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