Code

Fix comment and error message typos#7753

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/fix-typostautschnig/cbmc:bugfixes/fix-typosCopy head branch name to clipboard

Jun 6, 2023

Commits

Commits on Jun 6, 2023

• Fix comment and error message typos

  Show description for dea7dd4
  tautschnig

  committed
  dea7dd4

  Copy full SHA for dea7dd4