From b06bb734c1c309c5011d6148ebc6caacd9663400 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 30 Mar 2011 11:10:48 +0000 Subject: Fixed some typos. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@128533 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 2 +- lib/Core/SpecialFunctionHandler.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index b0af78a1..2baf61e9 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2826,7 +2826,7 @@ void Executor::executeAlloc(ExecutionState &state, UltExpr::create(ConstantExpr::alloc(1<<31, W), size), true); if (hugeSize.first) { - klee_message("NOTE: found huge malloc, returing 0"); + klee_message("NOTE: found huge malloc, returning 0"); bindLocal(target, *hugeSize.first, ConstantExpr::alloc(0, Context::get().getPointerWidth())); } diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 2ef80acc..1a0ca406 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -511,7 +511,7 @@ void SpecialFunctionHandler::handleGetErrno(ExecutionState &state, std::vector > &arguments) { // XXX should type check args assert(arguments.size()==0 && - "invalid number of arguments to klee_get_obj_size"); + "invalid number of arguments to klee_get_errno"); executor.bindLocal(target, state, ConstantExpr::create(errno, Expr::Int32)); } -- cgit 1.4.1