Project

General

Profile

Actions

Task #9277

closed

mv clock-like variable detection to CFG-to-CGAA transformer

Added by Sergey Smolov over 5 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
Engine
Target version:
Start date:
09/12/2018
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Published in build:
1.1.1-beta-190722

Description

An information about clock-like variables (CLV) is used upon model checking. It seems to be a resource-consuming approach to extract EFSM only for this information.
So, CLV-aimed heuristic should be moved to CFG-to-CGAA transformer engine.

Actions #1

Updated by Sergey Smolov over 5 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Done in fe0c6115

Actions #2

Updated by Sergey Smolov over 5 years ago

  • Status changed from Resolved to Open
  • % Done changed from 100 to 50

A new mapping is needed: from Module to clock-like NodeVariable.
It seems to be adequate to get the most frequently used clock-like variable among process-related ones, and associate it with parent module. If this approach returns more than one candidate, print warning and choose the first one.

Actions #3

Updated by Sergey Smolov over 5 years ago

  • Status changed from Open to Resolved
  • % Done changed from 50 to 100

Done in 5a337c59

Actions #4

Updated by Sergey Smolov over 5 years ago

  • Status changed from Resolved to Verified
Actions #5

Updated by Sergey Smolov over 4 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.1.1-beta-190722
Actions

Also available in: Atom PDF