Code

Apply CC fixes to existing code#700

Code

Draft

schuessf wants to merge 1 commit intodevultimate-pa/ultimate:devfrom wip/fs/auto-cc-fixesultimate-pa/ultimate:wip/fs/auto-cc-fixesCopy head branch name to clipboard

+544-625

Commits

Commits on Dec 6, 2024

• Apply CC fixes to CACSL2BoogieTranslator automatically

  schuessf

  committed
  628260f