Hello. This may be not strictly relevant, but i've changed ModuleOptions structure so that now it can hold a list of library dirs.
https://bitbucket.org/arrowdodger/klee/changeset/9248f4d83821
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
