Project

General

Profile

Feature #8304

SLR values number limit

Added by Sergey Smolov about 3 years ago. Updated about 3 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
Category:
Engine (Transformer)
Target version:
Start date:
07/20/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

A new command line parameter for CGAA_to-EFSM transformer. It takes integer value (16 by default).

If the number of possible values for defined SLR via stabilization is less or equal than the limit, the sequence of states that contain equations with this SLR should be generated. After that, stabilization should continue.
If the number is greater than the limit, weakest precoditions should be passed to transition guards without EFSM state splitting.

History

#1

Updated by Sergey Smolov about 3 years ago

  • Status changed from New to Rejected

Substituted by #8305

Also available in: Atom PDF