goto_bmc_main.cpp

Go to the documentation of this file.

// Author: Enrico Steffinlongo for Diffblue Ltd.
 
#include "goto_bmc_parse_options.h"
 
#include <iostream>
#include <vector>
 
int main(int argc, const char **argv)
{
  return goto_bmc_parse_optionst{argc, argv}.main();
}
int main(int argc, const char **argv) {…}