[klee-dev] static variable that should be accessible from any method

[Andrew Santosa]

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 <sumit686215 at 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 at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


   
-------------- next part --------------
HTML attachment scrubbed and removed