From 1bc231e06a63299cdf8a34613bd590d8e06788dc Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 7 May 2013 12:38:01 +0000 Subject: Fixed incorrect comment. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181306 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') diff --git a/include/klee/Solver.h b/include/klee/Solver.h index 9e05967d..46925164 100644 --- a/include/klee/Solver.h +++ b/include/klee/Solver.h @@ -93,7 +93,7 @@ namespace klee { bool mustBeFalse(const Query&, bool &result); /// mayBeTrue - Determine if there is a valid assignment for the given state - /// in which the expression evaluates to false. + /// in which the expression evaluates to true. /// /// \param [out] result - On success, true iff the expresssion is true for /// some satisfying assignment. -- cgit 1.4.1