Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • L lutin
  • 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
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • verimagverimag
  • synchrone
  • lutin
  • Repository
Switch branch/tag
  • lutin
  • lutin
  • src
  • version.ml
Find file BlameHistoryPermalink
  • Erwan Jahier's avatar
    Fix the bug described in the previous commit, by usinf a failure continuation. · b854552c
    Erwan Jahier authored Feb 09, 2016
    There is still one problem: the rdbg and the lurette mode do not
    generated the same sequence. The event number is the same. The
    sequence of Random.init (performed when the event number is
    incremented) is exactly the same too. Weird.
    
    Note that this divergence is a regression
    b854552c