From d57837d6968f4c429bcbd1be0e64dc41ccaac231 Mon Sep 17 00:00:00 2001 From: castrod Date: Tue, 9 Jan 2024 11:35:23 +0100 Subject: [PATCH] adding parsing tests for wff_bex and wff_ball --- tests/unit/test_tau_parser.cpp | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/tests/unit/test_tau_parser.cpp b/tests/unit/test_tau_parser.cpp index c43ee7f8..47d64d39 100644 --- a/tests/unit/test_tau_parser.cpp +++ b/tests/unit/test_tau_parser.cpp @@ -321,6 +321,32 @@ TEST_SUITE("parsing wwf formulas ") { CHECK( ex_formula.has_value() ); } + TEST_CASE("ball") { + const char* sample = + "ball ?Z ?Z."; + auto src = make_tau_source(sample); + auto frml = make_statement(src); + auto all_formula = frml + | tau_parser::formula + | tau_parser::main + | tau_parser::wff + | tau_parser::wff_ball; + CHECK( all_formula.has_value() ); + } + + TEST_CASE("bex") { + const char* sample = + "bex ?Z ?Z."; + auto src = make_tau_source(sample); + auto frml = make_statement(src); + auto ex_formula = frml + | tau_parser::formula + | tau_parser::main + | tau_parser::wff + | tau_parser::wff_bex; + CHECK( ex_formula.has_value() ); + } + // TODO (LOW) write test wwf refs TEST_CASE("wff_ref") { //CHECK( false );