Code

Remove local declaration of void_t#8031

Code

Merged

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/void_ttautschnig/cbmc:cleanup/void_tCopy head branch name to clipboard

Nov 14, 2023

Commits

Commits on Nov 14, 2023

• Remove local declaration of void_t

  Show description for ab81bbd
  tautschnig

  committed
  ab81bbd

  Copy full SHA for ab81bbd