Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • A Alnos
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 1
    • Issues 1
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Michele Volpato
  • Alnos
  • Issues
  • #2

Closed
Open
Created Oct 01, 2015 by Michele Volpato@mvolpatoOwner

Fail in creation creation of Hypotheses when a row ending in quiescence is added to S

When a row ending in quiescence is added to S, its quiescence extension is not added to the table because the information is redundant (there must be a delta loop in that state). When an hypothesis is generated the quiescence transition (loop) is not added because the one letter extension row cannot be found in the table.

Assignee
Assign to
Time tracking