Hi Sumit,
I think it's your choice. In our project, we have (or used to have) global
static variables declared in a header file in lib/Core/and defined in a cpp
file in the same directory. We have also added command-line options in
lib/Basic/CmdLineOptions.cppwith globally-accessible declarations in
include/klee/CommandLine.h.
Best,Andrew
On Thursday, 24 March 2016, 3:16, Sumit Kumar <sumit686...@gmail.com> wrote:
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
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
