about summary refs log tree commit diff homepage
path: root/examples
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2012-10-24 16:06:16 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2012-10-24 16:06:16 +0000
commit5bb2e72589ec9998354920687e26c53fc4c3ebbd (patch)
treeb50791cda3e741d11ff82736337dbd275b839e64 /examples
parent5f9b8f9424b5bf8737cb36894c3da9b9d79aeb3c (diff)
downloadklee-5bb2e72589ec9998354920687e26c53fc4c3ebbd.tar.gz
Two small changes by Jonathan Neuschäfer: one that fixes a memory leak
in an example, and one that removes an already completed TODO item.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166582 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'examples')
-rw-r--r--examples/sort/sort.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/sort/sort.c b/examples/sort/sort.c
index 62e4124e..a72ccf1e 100644
--- a/examples/sort/sort.c
+++ b/examples/sort/sort.c
@@ -66,6 +66,9 @@ void test(int *array, unsigned nelem) {
 
   for (unsigned i = 0; i != nelem; ++i)
     assert(temp1[i] == temp2[i]);
+
+  free(temp1);
+  free(temp2);
 }
 
 int main() {