From 359e7958d2041f3ddff901eb2ed5caa8beb20354 Mon Sep 17 00:00:00 2001 From: Vratko Polak Date: Fri, 27 Apr 2018 19:57:13 +0200 Subject: CSIT-986: MDR rst documentation + Introduction. + Phases description. + Comparison tables. + Graphs. Change-Id: Iec5143770677c733070fb0444a1a7d898f1eb04e Signed-off-by: Vratko Polak --- resources/libraries/python/search/OptimizedSearchAlgorithm.py | 1 + 1 file changed, 1 insertion(+) (limited to 'resources') diff --git a/resources/libraries/python/search/OptimizedSearchAlgorithm.py b/resources/libraries/python/search/OptimizedSearchAlgorithm.py index c96ab444e2..f89acd56b2 100644 --- a/resources/libraries/python/search/OptimizedSearchAlgorithm.py +++ b/resources/libraries/python/search/OptimizedSearchAlgorithm.py @@ -457,6 +457,7 @@ class OptimizedSearchAlgorithm(AbstractSearchAlgorithm): pdr_rel_width = 0.0 if max(ndr_rel_width, pdr_rel_width) > state.width_goal: # We have to narrow some width. + # TODO: Prefer NDR, it could invalidate PDR (not vice versa). if ndr_rel_width >= pdr_rel_width: new_tr = self.half_step_up(ndr_rel_width, ndr_lo.target_tr) logging.info("Bisecting for NDR at %s", new_tr) -- cgit 1.2.3-korg