Project

General

Profile

Bug #4922

[cfg][model] Ошибка в обходчике

Added by Alexander Protsenko about 5 years ago. Updated about 5 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Target version:
Start date:
05/14/2014
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

В CFGBuildingTestCase добавлен принтер, создающий gml файлы со структурой cfg.

Как результат было выявлено:
1. Обходчик проходит некоторые узлы минимум по 2 раза.
Приложены 2 файла gml (WORK.COUNT_cfg_EX.graphml - получен, WORK.COUNT_cfg.graphml - исправлен), в которых можно это наглядно увидеть.

2. Есть подозрение, что обходчик зацикливается.

(Файлы прилагаются. Запускать можно в yEd.)


Files

WORK.COUNT(RTL)_cfg.graphml (14.2 KB) WORK.COUNT(RTL)_cfg.graphml Alexander Protsenko, 05/14/2014 10:28 AM
WORK.COUNT(RTL)_cfg_EX.graphml (14.2 KB) WORK.COUNT(RTL)_cfg_EX.graphml Alexander Protsenko, 05/14/2014 10:28 AM

History

#1

Updated by Alexander Protsenko about 5 years ago

3. Cоздаются дуги (на основе данных о потомках узла) к узлам, которые после этого не обходятся.

#2

Updated by Sergey Smolov about 5 years ago

  • Status changed from New to Open
#3

Updated by Sergey Smolov about 5 years ago

  • Status changed from Open to Resolved
  • Assignee changed from Sergey Smolov to Alexander Protsenko

Поправлено в r444.

1. Обходчик проходит по каждому узлу ровно один раз.
2. Зацикливаний на имеющемся множестве VHDL-описаний не наблюдается.
3. "Висячих" узлов (кроме SINK) не наблюдается.

#4

Updated by Alexander Protsenko about 5 years ago

  • Status changed from Resolved to Verified
#5

Updated by Alexander Kamkin about 5 years ago

  • Status changed from Verified to Closed

Also available in: Atom PDF