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 96
    • Issues 96
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 4
    • Merge requests 4
  • 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
  • Merge requests
  • !404

#451 Add dining philosophers as CIF benchmark model.

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Dennis Hendriks requested to merge 451-add-dining-philosophers-as-cif-benchmark-model into develop Nov 09, 2022
  • Overview 1
  • Commits 1
  • Pipelines 1
  • Changes 3

I've opted to adapt the model from four forks and philosophers in the current test model to the traditional number of five forks and philosophers. For the synthesis time this barely makes a difference.

Closes #451 (closed)

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: 451-add-dining-philosophers-as-cif-benchmark-model

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