From 4dc7dfdb7b65a9ef5db4cf7c911327a87323c5a1 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 27 Nov 2012 13:01:14 +0000 Subject: Warnings were incorrectly logged in messages.txt instead of warnings.txt. Added "ONCE" before klee_warning_once messages to identify them as such. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168699 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Common.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Core/Common.cpp') diff --git a/lib/Core/Common.cpp b/lib/Core/Common.cpp index 4bf432cc..575a1f1b 100644 --- a/lib/Core/Common.cpp +++ b/lib/Core/Common.cpp @@ -51,7 +51,7 @@ static void klee_vmessage(const char *pfx, bool onlyToFile, const char *msg, va_end(ap2); } - klee_vfmessage(pfx ? klee_message_file : klee_warning_file, pfx, msg, ap); + klee_vfmessage(pfx ? klee_warning_file : klee_message_file, pfx, msg, ap); } @@ -104,7 +104,7 @@ void klee::klee_warning_once(const void *id, const char *msg, ...) { va_list ap; va_start(ap, msg); - klee_vmessage("WARNING", false, msg, ap); + klee_vmessage("WARNING ONCE", false, msg, ap); va_end(ap); } } -- cgit 1.4.1