CoreDSLCoverage.h

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-3-Clause
//
// This file is part of ETISS. It is licensed under the BSD 3-Clause License; you may not use this file except in
// compliance with the License. You should have received a copy of the license along with this project. If not, see the
// LICENSE file.
 
#ifndef __COREDSL_COVERAGE_H__
#define __COREDSL_COVERAGE_H__
 
#include <map>
 
extern std::map<int, int> coverage_map;
 
#endif