Hi, I've got klee chugging away on a chunk of Linux kernel, and it seems to be currently quite stuck trying lots of different varients on one chunk (and has been for a few hours); is it possible to get it to go wide at first exploring major different functions before going deep on any one path?
Also, is it possible to parallilise the search - my other 3 cores feel bored. Any other tips for optimising the search process would be appreciated. (I'm thinking maybe specifying a depth cut off - but what?) Anyway, I'll leave it to work through tests while I go to sleep! Dave -- -----Open up your eyes, open up your mind, open up your code ------- / Dr. David Alan Gilbert | Running GNU/Linux | Happy \ \ gro.gilbert @ treblig.org | | In Hex / \ _________________________|_____ http://www.treblig.org |_______/ _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
