Project

General

Profile

Actions

Feature #8304

closed

SLR values number limit

Added by Sergey Smolov over 6 years ago. Updated over 6 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.

Actions #1

Updated by Sergey Smolov over 6 years ago

  • Status changed from New to Rejected

Substituted by #8305

Actions

Also available in: Atom PDF