zcov: / tools/klee/Debug.cpp

	Files: 1 Branches Taken: 33.3% 2 / 6 Generated: 2009-05-17 22:47 Branches Executed: 66.7% 4 / 6 Line Coverage: 25.0% 1 / 4

	Programs: 1 Runs 371

       1                 : #include <klee/Expr.h>
       2                 : #include <iostream>
       3                 : 
       4                0: void kdb_printExpr(klee::Expr *e) {
       5                 :   llvm::cerr << "expr: " << e << " -- ";
                        0: branch 0 not taken
                        0: branch 1 not taken
       6                0:   if (e) {
       7                0:     llvm::cerr << *e;
       8                 :   } else {
       9                 :     llvm::cerr << "(null)";
      10                 :   }
      11                 :   llvm::cerr << "\n";
                      103: branch 0 taken
                        0: branch 1 not taken
                      103: branch 2 taken
                        0: branch 3 not taken
      12              206: }