Project

General

Profile

Actions
Copy link

Feature #8304

closed

SLR values number limit

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

Status:
Rejected
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Transformer)
Target version:
0.2
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
Copy link

Also available in: Atom PDF