fix tests

- fix advanced property tests due to misplaced closed bracket; - comment out ltlf parsing tests; we now translate to ldlf while parsing ltlf (related to #91)
whitemech · Jan 31, 2021 · 0ee96c8 · 0ee96c8
1 parent cef142c
commit 0ee96c8
Show file tree

Hide file tree

Showing 2 changed files with 354 additions and 353 deletions.
diff --git a/lib/test/src/assets/formulas.hpp b/lib/test/src/assets/formulas.hpp
@@ -175,8 +175,8 @@ static const std::vector<std::pair<const std::string, const unsigned>>
         {"[a]({0}) <-> (<!a>tt | [a]({0}))", 1},
         {"(<({0}?)>({1})) <-> (({0}) & ({1}))", 2},
         {"([({0}?)]({1})) <-> (!({0}) | ({1}))", 2},
-        {"(<({0}?)*>({1})) <-> ({1}))", 2},
-        {"([({0}?)*]({1})) <-> ({1}))", 2},
+        {"(<({0}?)*>({1})) <-> ({1})", 2},
+        {"([({0}?)*]({1})) <-> ({1})", 2},
     };
 
 } // namespace whitemech::lydia