wrapper.cpp

/*
 * wrapper.cpp
 *
 * Created on: Nov 1, 2012
 *     Author: belyaev
 */

#include <iostream>

#define BACKWARD_HAS_UNWIND 1
#define BACKWARD_HAS_BACKTRACE 0
#define BACKWARD_HAS_DW 0
#define BACKWARD_HAS_BFD 0
#define BACKWARD_HAS_BACKTRACE_SYMBOL 1
#define SIGUNUSED SIGSYS
#include <backward.hpp>

#include <z3/z3++.h>
#include "SMT/CVC4/cvc4_fixed.h"

#include "Driver/gestalt.h"

static backward::SignalHandling sh{std::vector<int>{ SIGABRT, SIGSEGV, SIGILL, SIGINT, SIGTRAP }};

void on_terminate(void) {
    std::cerr << "Terminating..." << std::endl;
    try{ throw; }
    catch (const z3::exception& ex) {
        std::cerr << "z3 exception caught: " << ex.msg() << std::endl;
        throw;
    }
    catch(const CVC4::Exception& ex) {
        std::cerr << "cvc4 exception caught: " << ex.what() << std::endl;
        throw;
    }
    abort();
}

static bool th = !!std::set_terminate(on_terminate);

int main(int argc, const char** argv) {
    using namespace borealis::driver;
    gestalt gestalt{ "wrapper" };
    return gestalt.main(argc, argv);
}