1#ifndef ROSE_BinaryAnalysis_InstructionSemantics_Utility_H
2#define ROSE_BinaryAnalysis_InstructionSemantics_Utility_H
3#include <featureTests.h>
4#ifdef ROSE_ENABLE_BINARY_ANALYSIS
7#include <Sawyer/Message.h>
10namespace BinaryAnalysis {
11namespace InstructionSemantics {
void initDiagnostics()
Initialize diagnostics for instruction semantics.
Sawyer::Message::Facility mlog
Diagnostics logging facility for instruction semantics.