1. 2436415 Make this test invariant to future changes of the max loop unrolling count. by Ted Kremenek · 12 years ago
  2. 371b477 Fix subtle bug in AnalysisConsumer where we would not analyze functions whose parent by Ted Kremenek · 12 years ago
  3. 8d0f528 [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. by Jordan Rose · 12 years ago