Hi, I am trying to add the initial state as a constraint, but it is not taking effect. For example, when adding a > 0, a <= 0 still shows up when it should be evaluated to false. Would this have to do anything with the cache? Thanks,Chelsea
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
