ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
systemc.h
Go to the documentation of this file.
1/***************************************************************
2 * systemc.h
3 *
4 * Includes the libraries to handle with SystemC
5 * codes. Also defines the sc_main function
6 *
7 * @author Luciano Sobral <sobral.luciano@gmail.com>
8 *
9 ***************************************************************/
10
11#ifndef SYSTEMC_H
12#define SYSTEMC_H
13
14/***************************************************************/
15/*********************** CPP INCLUDES **************************/
16/***************************************************************/
17
18// #include <iostream>
19// #include <string>
20
21/***************************************************************/
22/*********************** SYSTEMC INCLUDES **********************/
23/***************************************************************/
24
27// #include "systemc/kernel/sc_sensitive.h"
28
32
33#define sc_main main
34
35#endif