fix: replace 'X\[\!\]' with 'strongX' in Catch test names

whitemech · Jan 22, 2024 · eb14f96 · eb14f96
1 parent 25453d2
commit eb14f96
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/test/test_one_step_realizability_check.cpp b/test/test_one_step_realizability_check.cpp
@@ -50,7 +50,7 @@ TEST_CASE("One-step realizability check of a", "[one-step-realizability-check]")
 
 }
 
-TEST_CASE("One-step realizability check of X\\[\\!\\] a", "[one-step-realizability-check]") {
+TEST_CASE("One-step realizability check of strongX a", "[one-step-realizability-check]") {
     auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
     auto var_mgr = std::make_shared<Syft::VarMgr>();
 
@@ -220,7 +220,7 @@ TEST_CASE("One-step realizability check of random formula 1", "[one-step-unreali
   }
 }
 
-TEST_CASE("One-step realizability check of a U X\\[\\!\\]b", "[one-step-unrealizability-check]") {
+TEST_CASE("One-step realizability check of a U strongXb", "[one-step-unrealizability-check]") {
   auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
   auto var_mgr = std::make_shared<Syft::VarMgr>();
 

diff --git a/test/test_one_step_unrealizability_check.cpp b/test/test_one_step_unrealizability_check.cpp
@@ -50,7 +50,7 @@ TEST_CASE("One-step unrealizability check of a", "[one-step-unrealizability-chec
 
 }
 
-TEST_CASE("One-step unrealizability check of X\\[\\!\\] a", "[one-step-unrealizability-check]") {
+TEST_CASE("One-step unrealizability check of strongX a", "[one-step-unrealizability-check]") {
     auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
     auto var_mgr = std::make_shared<Syft::VarMgr>();
 
@@ -234,7 +234,7 @@ TEST_CASE("One-step unrealizability check of random formula 1", "[one-step-unrea
   }
 }
 
-TEST_CASE("One-step unrealizability check of a U X\\[\\!\\]b", "[one-step-unrealizability-check]") {
+TEST_CASE("One-step unrealizability check of a U strongXb", "[one-step-unrealizability-check]") {
   auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
   auto var_mgr = std::make_shared<Syft::VarMgr>();
 

diff --git a/test/test_preprocessing.cpp b/test/test_preprocessing.cpp
@@ -55,7 +55,7 @@ TEST_CASE("Preprocessing of a", "[preprocessing]") {
 
 }
 
-TEST_CASE("Preprocessing of X\\[\\!\\] a", "[preprocessing]") {
+TEST_CASE("Preprocessing of strongX a", "[preprocessing]") {
     auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
     auto var_mgr = std::make_shared<Syft::VarMgr>();
 
@@ -232,7 +232,7 @@ TEST_CASE("Preprocessing of random formula 1", "[one-step-unrealizability-check]
   }
 }
 
-TEST_CASE("Preprocessing of a U X\\[\\!\\]b", "[one-step-unrealizability-check]") {
+TEST_CASE("Preprocessing of a U strongXb", "[one-step-unrealizability-check]") {
   auto driver = std::make_shared<whitemech::lydia::parsers::ltlf::LTLfDriver>();
   auto var_mgr = std::make_shared<Syft::VarMgr>();
 

diff --git a/test/test_synthesis.cpp b/test/test_synthesis.cpp
@@ -87,7 +87,7 @@ TEST_CASE("Synthesis of a or b", "[synthesis]") {
   }
 }
 
-TEST_CASE("Synthesis of X\\[\\!\\] a", "[synthesis]") {
+TEST_CASE("Synthesis of strongX a", "[synthesis]") {
 
   std::string formula = "X[!] a";