Project

General

Profile

Feature #8304

SLR values number limit

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

Also available in: Atom PDF