ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
linux.hpp File Reference
Include dependency graph for linux.hpp:

Go to the source code of this file.

Macros

#define BOOST_PLATFORM   "linux"
#define BOOST_NO_SWPRINTF
#define BOOST_HAS_UNISTD_H
#define BOOST_HAS_PTHREAD_YIELD
#define __extension__
#define __const__   const
#define __volatile__   volatile
#define __signed__   signed
#define __typeof__   typeof
#define __inline__   inline

Macro Definition Documentation

◆ __const__

#define __const__   const

◆ __extension__

#define __extension__

◆ __inline__

#define __inline__   inline

◆ __signed__

#define __signed__   signed

◆ __typeof__

#define __typeof__   typeof

◆ __volatile__

#define __volatile__   volatile

◆ BOOST_HAS_PTHREAD_YIELD

#define BOOST_HAS_PTHREAD_YIELD

◆ BOOST_HAS_UNISTD_H

#define BOOST_HAS_UNISTD_H

◆ BOOST_NO_SWPRINTF

#define BOOST_NO_SWPRINTF

◆ BOOST_PLATFORM

#define BOOST_PLATFORM   "linux"