From 3fdd9a903837a6750e42fd6d7ada342def63a7b3 Mon Sep 17 00:00:00 2001 From: "Hoang M. Le" Date: Tue, 8 Nov 2016 18:25:45 +0100 Subject: add nicer error messages for --use-merge and add explanation why it currently cannot be used with random-path --- lib/Core/Searcher.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/Core/Searcher.cpp') diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp index 3bfcd6b3..47f300d1 100644 --- a/lib/Core/Searcher.cpp +++ b/lib/Core/Searcher.cpp @@ -402,6 +402,8 @@ Instruction *MergingSearcher::getMergePoint(ExecutionState &es) { } ExecutionState &MergingSearcher::selectState() { + // FIXME: this loop is endless if baseSearcher includes RandomPathSearcher. + // The reason is that RandomPathSearcher::removeState() does nothing... while (!baseSearcher->empty()) { ExecutionState &es = baseSearcher->selectState(); if (getMergePoint(es)) { -- cgit 1.4.1