cbmc_adapter.h

Go to the documentation of this file.

#pragma once
 
#include <goto-programs/read_cbmc_goto_object.h>
#include <util/irep/irep.h>
 
#include <string>
#include <utility>
#include <vector>

struct cbmc_adapted_resultt
{
  std::vector<irept> symbols;
  std::vector<std::pair<std::string, irept>> functions;
};

cbmc_adapted_resultt adapt_cbmc_to_esbmc(cbmc_parse_resultt parsed);

unsigned map_cbmc_instruction_type(unsigned cbmc_type);