the initialized logic appears to be wrong... release/acquire pairs only
[model-checker.git] / config.h
1 /** @file config.h
2  * @brief Configuration file.
3  */
4
5 #ifndef CONFIG_H
6 #define CONFIG_H
7
8 /** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
9  * Set to 1 for 48-bit, 0 for 32-bit. */
10 #define BIT48 1
11
12 #endif