Goose  Artifact [051808847d]

Artifact 051808847df014b75638bfa55ff27826ff75cfdf1fe37855e995e8fb2fef98b2:

• File bs/analyze/analyze.h — part of check-in [98a85945f6] at 2019-10-02 20:09:26 on branch trunk — FuncValidator: more work on the implementation. (user: achavasse size: 491)

#ifndef GOOSE_ANALYZE_H
#define GOOSE_ANALYZE_H

#include "z3++.h"
#include "llr/llr.h"

namespace goose::analyze
{
    using namespace ir;
    using namespace llr;

    class Builder;

    extern z3::context& GetZ3Context();
    extern optional< z3::expr > BuildZ3ExprFromValue( Builder& b, const Value& val );
    extern optional< z3::expr > BuildZ3Op( Builder& b, const llr::Instruction& instr );
}

#include "builder.h"
#include "verifstmtvalidator.h"
#include "funcvalidator.h"

#endif