Project

General

Profile

Task #3637

Пространство состояний

Added by Sergey Smolov over 7 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
-
Start date:
10/30/2012
Due date:
% Done:

0%

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

Description

Для определения пространства состояний - собрать все guard'ы, использующие переменные из набора, полученного из предыдущего алгоритма.

Задача выделена из #3598

History

#1

Updated by Alexander Kamkin over 7 years ago

  • Project changed from GAA Extractor to Retrascope
#2

Updated by Sergey Smolov over 6 years ago

  • Status changed from New to Closed

есть более актуальная постановка задачи в #4661

Also available in: Atom PDF