Hi, I want to declare a static variable that should be accessible from any method defined in any of the classes in klee/lib/Core. Where should I declare / define such a variable.
-- Thanks and Regards, Sumit
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
