Integrated feedback by sjunges

moves-rwth · Aug 26, 2024 · 74b8b0d · 74b8b0d · sjunges · Aug 26, 2024
1 parent 80eaa12
commit 74b8b0d
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -182,6 +182,12 @@ message(STATUS "Storm - Detected operating system ${OPERATING_SYSTEM}.")
 set(SHIPPED_CARL_USE_CLN_NUMBERS ON)
 set(SHIPPED_CARL_USE_GINAC ON)
 
+# Warning for Apple Silicon
+if(APPLE_SILICON)
+	message(WARNING "Compiling natively on Apple Silicon is experimental. Please report any issues to [email protected].")
+endif()
+
+
 set(DYNAMIC_EXT ".so")
 set(STATIC_EXT ".a")
 set(LIB_PREFIX "lib")

diff --git a/src/storm/modelchecker/results/ExplicitQualitativeCheckResult.cpp b/src/storm/modelchecker/results/ExplicitQualitativeCheckResult.cpp
@@ -1,6 +1,6 @@
 #include "storm/adapters/RationalNumberAdapter.h"  // Must come first
 
-#include "ExplicitQualitativeCheckResult.h"
+#include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h"
 
 #include "storm/adapters/JsonAdapter.h"
 #include "storm/exceptions/InvalidOperationException.h"

diff --git a/src/storm/modelchecker/results/ExplicitQuantitativeCheckResult.cpp b/src/storm/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
@@ -1,6 +1,6 @@
 #include "storm/adapters/RationalNumberAdapter.h"  // Must come first
 
-#include "ExplicitQuantitativeCheckResult.h"
+#include "storm/modelchecker/results/ExplicitQuantitativeCheckResult.h"
 
 #include "storm/adapters/JsonAdapter.h"
 #include "storm/adapters/RationalFunctionAdapter.h"