New unit tests

.github/workflows/cmake.yml

@@ -2,9 +2,9 @@ name: CMake
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "*" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "*" ]
 
 env:
   # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)

CMakeLists.txt

@@ -14,4 +14,13 @@ add_subdirectory(libs/Interpreter)
 add_subdirectory(libs/InputGenerator)
 add_subdirectory(apps/InterpreterApp)
 add_subdirectory(apps/InputGeneratorApp)
-add_subdirectory(apps/TestsApp)
+add_subdirectory(apps/TestsApp)
+
+include(FetchContent)
+FetchContent_Declare(
+  googletest
+  URL https://github.com/google/googletest/archive/03597a01ee50ed33e9dfd640b249b4be3799d395.zip
+)
+
+set(gtest_force_shared_crt ON CACHE BOOL "" FORCE)
+FetchContent_MakeAvailable(googletest)

apps/TestsApp/CMakeLists.txt

@@ -4,7 +4,9 @@ project(TestsApp)
 # Create a sources variable with a link to all cpp files to compile
 set(SOURCES
         src/Example.cpp
-        src/main.cpp)
+        src/main.cpp
+        src/UnitTests.cpp)
+
 
 # Add a library with the above sources
 add_executable(${PROJECT_NAME} ${SOURCES})
@@ -18,9 +20,9 @@ target_link_libraries(${PROJECT_NAME}
         Interpreter
         Tester
         Objects
+        gtest
         )
 
 enable_testing()
-
 add_test(NAME UnitTests
         COMMAND ${PROJECT_NAME})

apps/TestsApp/src/UnitTests.cpp

@@ -0,0 +1,104 @@
+#include "AutomatonToImage/AutomatonToImage.h"
+#include "InputGenerator/RegexGenerator.h"
+#include "InputGenerator/TasksGenerator.h"
+#include "Interpreter/Interpreter.h"
+#include "Objects/FiniteAutomaton.h"
+#include "Objects/Grammar.h"
+#include "Objects/Language.h"
+#include "Objects/Regex.h"
+#include "Objects/TransformationMonoid.h"
+#include "Objects/iLogTemplate.h"
+#include "Tester/Tester.h"
+#include <cassert>
+#include <functional>
+#include <iostream>
+#include "gtest/gtest.h"
+
+TEST(TestCaseName, GlaisterShallit) {
+	auto check_classes_number = [](string rgx_str) {
+		return (Regex(rgx_str).to_glushkov().get_classes_number_GlaisterShallit());
+	};
+	EXPECT_EQ(1, 1);
+	EXPECT_EQ(check_classes_number("abs"), 4);
+	EXPECT_EQ(check_classes_number("a*b*c*"), 3);
+	EXPECT_EQ(check_classes_number("aa*bb*cc*"), 4);
+	EXPECT_EQ(check_classes_number("ab|abc"), 4);
+	EXPECT_EQ(check_classes_number("a(b|c)(a|b)(b|c)"), 5);
+}
+
+
+
+TEST(TestCaseName, Test_random_regex_parsing) {
+	RegexGenerator rg(15, 10, 5, 3);
+	for (int i = 0; i < 30; i++) {
+		string str = rg.generate_regex();
+		Regex r1(str);
+		string r1_str = r1.to_txt();
+		Regex r2(r1_str);
+		EXPECT_EQ(true, Regex::equivalent(r1, r2));
+	}
+}
+
+
+TEST(TestCaseName, Test_test_fa_equal) {
+	vector<State> states1;
+	for (int i = 0; i < 6; i++) {
+		State s = {i, {i}, to_string(i), false, map<alphabet_symbol, set<int>>()};
+		states1.push_back(s);
+	}
+	states1[0].set_transition(1, "b");
+	states1[0].set_transition(2, "b");
+	states1[0].set_transition(5, "c");
+	states1[1].set_transition(3, "a");
+	states1[1].set_transition(4, "c");
+	states1[2].set_transition(4, "a");
+	states1[5].set_transition(4, "a");
+	states1[3].is_terminal = true;
+	states1[4].is_terminal = true;
+	FiniteAutomaton fa1(0, states1, {"a", "b", "c"});
+
+	vector<State> states2;
+	for (int i = 0; i < 6; i++) {
+		State s = {i, {i}, to_string(i), false, map<alphabet_symbol, set<int>>()};
+		states2.push_back(s);
+	}
+	states2[0].set_transition(1, "b");
+	states2[0].set_transition(2, "b");
+	states2[0].set_transition(5, "c");
+	states2[1].set_transition(3, "a");
+	states2[1].set_transition(3, "c");
+	states2[2].set_transition(4, "a");
+	states2[5].set_transition(4, "a");
+	states2[3].is_terminal = true;
+	states2[4].is_terminal = true;
+	FiniteAutomaton fa2(0, states2, {"a", "b", "c"});
+
+	vector<State> states3;
+	for (int i = 0; i < 6; i++) {
+		State s = {i, {i}, to_string(i), false, map<alphabet_symbol, set<int>>()};
+		states3.push_back(s);
+	}
+	states3[5].set_transition(4, "b");
+	states3[5].set_transition(3, "b");
+	states3[5].set_transition(0, "c");
+	states3[4].set_transition(2, "a");
+	states3[4].set_transition(1, "c");
+	states3[3].set_transition(1, "a");
+	states3[0].set_transition(1, "a");
+	states3[2].is_terminal = true;
+	states3[1].is_terminal = true;
+	FiniteAutomaton fa3(5, states3, {"a", "b", "c"});
+
+	EXPECT_TRUE(FiniteAutomaton::equal(fa1, fa1));
+	EXPECT_TRUE(!FiniteAutomaton::equal(fa1, fa2));
+	EXPECT_TRUE(FiniteAutomaton::equal(fa1, fa3));
+	EXPECT_TRUE(FiniteAutomaton::equal(Regex("(aab|aab)*").to_thompson().remove_eps(),
+								  Regex("(aab|aab)*").to_glushkov()));
+	EXPECT_TRUE(FiniteAutomaton::equal(Regex("a(a)*ab(bb)*baa").to_thompson().remove_eps(),
+								  Regex("a(a)*ab(bb)*baa").to_glushkov()));
+	EXPECT_TRUE(FiniteAutomaton::equal(
+		Regex("a(bbb*aaa*)*bb*|aaa*(bbb*aaa*)*|b(aaa*bbb*)*aa*|bbb*(aaa*bbb*)*")
+			.to_thompson()
+			.remove_eps(),
+		Regex("a(bbb*aaa*)*bb*|aaa*(bbb*aaa*)*|b(aaa*bbb*)*aa*|bbb*(aaa*bbb*)*").to_glushkov()));
+}

apps/TestsApp/src/main.cpp

@@ -1,11 +1,17 @@
 #include "TestsApp/Example.h"
+// #include "gmock/gmock.h"
+#include "gtest/gtest.h"
 #include <iostream>
 using namespace std;
 
-int main() {
+int main(int argc, char **argv) {
 	cout << "Test\n";
 	// Тестирование
-	Example::test_all();
-	Example::all_examples();
-	Example::logger_test();
-}
+	// Example::test_all();
+	// Example::all_examples();
+	// Example::logger_test();
+	testing::InitGoogleTest(&argc, argv);
+	return RUN_ALL_TESTS();
+}
+
+