projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add forgetten file
[model-checker.git]
/
config.h
diff --git a/config.h
b/config.h
new file mode 100644
(file)
index 0000000..
31ae7a4
--- /dev/null
+++ b/
config.h
@@ -0,0
+1,11
@@
+/** @file config.h
+ * @brief Configuration file.
+ */
+
+#ifndef CONFIG_H
+#define CONFIG_H
+/** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses */
+#define BIT48 1
+
+
+#endif