Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 5
    • Merge requests 5
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #37
Closed
Open
Issue created Apr 10, 2021 by Ferdie Reijnen@freijnenDeveloper

Fix CIF simulator for empty initial predicates initialization

The CIF simulator generates a multiple-initial location error for the following CIF specification. Even though the automaton has exactly one initial location.

automaton X:
  disc bool var = L1;
  location L0:
    initial;
  location L1;
end
ERROR: Automaton "X" has multiple possible initial locations, which is currently not supported by the CIF simulator. Restrict the initialization using the appropriate simulation option.

Problem is that initialization code is generated for L1, because it is needed to initialize var. Since L1 has no initial statement, it has no initialization predicates. The method gencodePreds returns true for an empty predicate set, whereas it should return false. Note that gencodePreds is also used for guard predicates. In that case, a true return is correct.

Edited Apr 10, 2021 by Dennis Hendriks
Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent