expose direct transition so it is really direct

thorstink · Aug 14, 2023 · da4d6b1 · da4d6b1
1 parent fc0414b
commit da4d6b1
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -22,7 +22,7 @@ if(BUILD_TESTING)
   elseif(TSAN_BUILD AND NOT ASAN_BUILD)
     set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -g -fsanitize=thread -fno-omit-frame-pointer -O0")
   else()
-    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -flto -O3")
+    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -flto=auto -O3")
   endif()
 endif()
 

diff --git a/symmetri/include/symmetri/polytransition.h b/symmetri/include/symmetri/polytransition.h
@@ -6,6 +6,9 @@
 
 struct DirectMutation {};
 
+bool isDirect(const DirectMutation &);
+symmetri::Result fire(const DirectMutation &);
+
 /**
  * @brief Checks if the transition-function can be invoked.
  *

diff --git a/symmetri/model.h b/symmetri/model.h
@@ -10,9 +10,6 @@
 #include "symmetri/tasks.h"
 #include "symmetri/types.h"
 
-bool isDirect(const DirectMutation &);
-symmetri::Result fire(const DirectMutation &);
-
 namespace symmetri {
 
 using SmallVector = gch::small_vector<size_t, 4>;

diff --git a/symmetri/tests/test_priorities.cc b/symmetri/tests/test_priorities.cc
@@ -8,7 +8,7 @@
 using namespace symmetri;
 using namespace moodycamel;
 
-void t(){};
+void t(){}
 
 TEST_CASE(
     "Run a transition with a higher priority over one with a lower priority") {