klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
KInstruction.cpp
Go to the documentation of this file.
1 //===-- KInstruction.cpp --------------------------------------------------===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
11 
12 using namespace llvm;
13 using namespace klee;
14 
15 /***/
16 
17 KInstruction::~KInstruction() {
18  delete[] operands;
19 }