Hi Arrowdodger, All,
If the default searchorder is first the supplied argument (to be merged from Michael's change), then build-dir and then the installed lib-dir, that might be the perfect solution here..
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
