ccadar/klee — pull request #2 by antiAgainst (2013-07-30 06:00:42+00:00)
Title: BFS searcher.

Hi Cristian,