mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
17 lines
337 B
C++
17 lines
337 B
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "mlir/IR/BuiltinOps.h"
|
|
|
|
#include "revng/Model/Binary.h"
|
|
|
|
namespace clift {
|
|
|
|
mlir::LogicalResult verifyAgainstModel(mlir::ModuleOp Module,
|
|
const model::Binary &Model);
|
|
|
|
} // namespace clift
|