Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • why3 why3
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare revisions
  • Issues 175
    • Issues 175
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 31
    • Merge requests 31
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Why3Why3
  • why3why3
  • Merge requests
  • !38

Added debugging for driver's transformations

  • Review changes

  • Download
  • Patches
  • Plain diff
Merged DAILLER Sylvain requested to merge debug_drivers into master Oct 10, 2018
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 2

I need to be able to debug driver files to understand what transformations do. Assigned for name of debug flags etc.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: debug_drivers