Actions
Task #5091
closed[cfg] Дуги из ASSERT в SINK
Start date:
07/16/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
r734
Description
Вершина типа SINK должна быть единственной терминальной вершиной в CFG.
Из вершин ASSERT должны быть дуги в SINK.
Actions