KInstruction.cpp

Go to the documentation of this file.
00001 //===-- KInstruction.cpp --------------------------------------------------===//
00002 //
00003 //                     The KLEE Symbolic Virtual Machine
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 
00010 #include "klee/Internal/Module/KInstruction.h"
00011 
00012 using namespace llvm;
00013 using namespace klee;
00014 
00015 /***/
00016 
00017 KInstruction::~KInstruction() {
00018   delete[] operands;
00019 }