* fixed ORTHO_UNIT for FSMs with multiple orthogonal regions

andrew-gresyk · Feb 14, 2020 · c91d4e5 · c91d4e5
1 parent 21aef92
commit c91d4e5
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 8 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -11,7 +11,7 @@ set(SANITIZE_CXX_FLAGS "")
 #set(SANITIZE_CXX_FLAGS "-fsanitize=memory -g -O1 -fno-omit-frame-pointer -fno-optimize-sibling-calls")
 #set(SANITIZE_CXX_FLAGS "-fsanitize=undefined")
 
-set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${SANITIZE_CXX_FLAGS} -Wall -Werror")
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${SANITIZE_CXX_FLAGS} -pedantic -Werror")
 
 project(hfsm2_test)
 

diff --git a/include/hfsm2/detail/state_registry.hpp b/include/hfsm2/detail/state_registry.hpp
@@ -95,7 +95,7 @@ struct AllForksT {
 	static constexpr ShortIndex ORTHO_UNITS	  = NOrthoUnits;
 
 	using Compo = StaticArray<ShortIndex, COMPO_REGIONS>;
-	using Ortho = BitArray<ShortIndex, ORTHO_REGIONS>;
+	using Ortho = BitArray	 <ShortIndex, ORTHO_UNITS>;
 
 	Compo compo{INVALID_SHORT_INDEX};
 	Ortho ortho;
@@ -155,7 +155,7 @@ struct StateRegistryT<ArgsT<TContext,
 
 	using CompoParents	= StaticArray<Parent, COMPO_REGIONS>;
 	using OrthoParents	= StaticArray<Parent, ORTHO_REGIONS>;
-	using OrthoUnits	= StaticArray<Units,  ORTHO_REGIONS>;
+	using OrthoUnits	= StaticArray<Units,  ORTHO_UNITS>;
 
 	using CompoForks	= StaticArray<ShortIndex, COMPO_REGIONS>;
 	using AllForks		= AllForksT<COMPO_REGIONS, ORTHO_REGIONS, ORTHO_UNITS>;

diff --git a/include/hfsm2/detail/structure/orthogonal.hpp b/include/hfsm2/detail/structure/orthogonal.hpp
@@ -56,7 +56,7 @@ struct O_ final {
 	using SubStates		= OS_<I_<HEAD_ID + 1,
 								 COMPO_INDEX,
 								 ORTHO_INDEX + 1,
-								 ORTHO_UNIT + ORTHO_UNITS>,
+								 ORTHO_UNIT + (WIDTH + 7) / 8>,
 							  Args,
 							  0,
 							  TSubStates...>;

diff --git a/include/hfsm2/machine.hpp b/include/hfsm2/machine.hpp
@@ -2844,7 +2844,7 @@ struct AllForksT {
 	static constexpr ShortIndex ORTHO_UNITS	  = NOrthoUnits;
 
 	using Compo = StaticArray<ShortIndex, COMPO_REGIONS>;
-	using Ortho = BitArray<ShortIndex, ORTHO_REGIONS>;
+	using Ortho = BitArray	 <ShortIndex, ORTHO_UNITS>;
 
 	Compo compo{INVALID_SHORT_INDEX};
 	Ortho ortho;
@@ -2904,7 +2904,7 @@ struct StateRegistryT<ArgsT<TContext,
 
 	using CompoParents	= StaticArray<Parent, COMPO_REGIONS>;
 	using OrthoParents	= StaticArray<Parent, ORTHO_REGIONS>;
-	using OrthoUnits	= StaticArray<Units,  ORTHO_REGIONS>;
+	using OrthoUnits	= StaticArray<Units,  ORTHO_UNITS>;
 
 	using CompoForks	= StaticArray<ShortIndex, COMPO_REGIONS>;
 	using AllForks		= AllForksT<COMPO_REGIONS, ORTHO_REGIONS, ORTHO_UNITS>;
@@ -8492,7 +8492,7 @@ struct O_ final {
 	using SubStates		= OS_<I_<HEAD_ID + 1,
 								 COMPO_INDEX,
 								 ORTHO_INDEX + 1,
-								 ORTHO_UNIT + ORTHO_UNITS>,
+								 ORTHO_UNIT + (WIDTH + 7) / 8>,
 							  Args,
 							  0,
 							  TSubStates...>;

diff --git a/projects/visual-studio/hfsm2-16-vs.sln b/projects/visual-studio/hfsm2-16-vs.sln
@@ -17,6 +17,7 @@ Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "examples", "examples", "{ED
 EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "tests", "tests", "{58AC2401-48A7-4AFA-A6F4-5F00DFAF260A}"
 	ProjectSection(SolutionItems) = preProject
+		catch2.runsettings = catch2.runsettings
 		..\..\test\CMakeLists.txt = ..\..\test\CMakeLists.txt
 		..\..\hfsm.natvis = ..\..\hfsm.natvis
 	EndProjectSection

diff --git a/test/deprecated_test.hpp b/test/deprecated_test.hpp
@@ -22,7 +22,7 @@ namespace Event {
 
 		COUNT
 	};
-};
+}
 
 //------------------------------------------------------------------------------