// -*- C++ -*- (c) 2016 Henrich Lauko #pragma once DIVINE_RELAX_WARNINGS #include #include #include DIVINE_UNRELAX_WARNINGS namespace lart { namespace abstract { struct AddAssumes { void run( llvm::Module &m ); void process( llvm::BranchInst *i ); }; } // namespace abstract } // namespace lart