Code

move goto_check_ct to ansi-c/#6658

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

move_goto_check_cdiffblue/cbmc:move_goto_check_cCopy head branch name to clipboard

Mar 8, 2022

Commits

Commits on Feb 28, 2022

• move goto_check_ct to ansi-c/

  Show description for ef4dd67
  

  kroening

  authored and

  tautschnig

  committed
  ef4dd67

  Copy full SHA for ef4dd67

• clang-format moved goto_check_c.cpp

  Show description for d3301c0
  tautschnig

  committed
  d3301c0

  Copy full SHA for d3301c0