Code

First iteration of C++ CBMC API#7274

Code

Merged

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:kani_api_cppNlightNFotis/cbmc:kani_api_cppCopy head branch name to clipboard

Dec 7, 2022

Commits

Commits on Dec 6, 2022

• Add first version of a C++ API for CBMC.

  Show description for d0ab60c
  NlightNFotis

  committed
  d0ab60c

  Copy full SHA for d0ab60c