zcov: / lib/Module/KInstruction.cpp

	Files: 1 Branches Taken: 66.7% 8 / 12 Generated: 2009-05-17 22:47 Branches Executed: 66.7% 8 / 12 Line Coverage: 100.0% 3 / 3

	Programs: 1 Runs 371

       1                 : /* -*- mode: c++; c-basic-offset: 2; -*- */
       2                 : 
       3                 : #include "klee/Internal/Module/KInstruction.h"
       4                 : 
       5                 : using namespace llvm;
       6                 : using namespace klee;
       7                 : 
       8                 : /***/
       9                 : 
      10            92853: KInstruction::~KInstruction() {
                    88792: branch 0 taken
                        0: branch 1 not taken
                    88792: branch 3 taken
                    88792: branch 4 taken
                     4061: branch 6 taken
                        0: branch 7 not taken
      11            92853:   delete[] operands;
                    88792: branch 0 taken
                        0: branch 1 not taken
                    88792: branch 3 taken
                    88792: branch 4 taken
                        0: branch 6 not taken
                     4061: branch 7 taken
      12            92853: }