(#318) MergeBisim test fix

OnionGrief · Feb 28, 2024 · f1d5b39 · f1d5b39
1 parent 70dc1f5
commit f1d5b39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/MetamorphicTestsApp/src/MetamorphicTests.cpp b/apps/MetamorphicTestsApp/src/MetamorphicTests.cpp
@@ -124,7 +124,7 @@ TEST(AutomatonGenerator, Test_MergeBisim_equivalent) {
         FiniteAutomaton FA;
         FA = parser.parse_NFA(grammar_path, test_path);
         auto first = FA.merge_bisimilar();
-        auto second = FA;
+        auto second = parser.parse_NFA(grammar_path, test_path);
 
         std::ifstream t(test_path);
         std::stringstream buffer;