Code

DRAFT: Control Flow Retrace feature#8636

Code

Draft

lks9 wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom

lks9:retrace_featurelks9/cbmc:retrace_featureCopy head branch name to clipboard

Commits

Commits on May 8, 2025

• Feature to --retrace a single control flow path

  Show description for 69d0a18
  

  lks9

  and

  yosephinestwn

  committed
  69d0a18

  Copy full SHA for 69d0a18

• Make clang-format happy

  Show description for 5719ed9
  lks9

  committed
  5719ed9

  Copy full SHA for 5719ed9

Commits on May 9, 2025

• Retracing test simple goto

  Show description for e99e11d
  lks9

  committed
  e99e11d

  Copy full SHA for e99e11d